Overview

The Security Lab is a part of the Computer Science Department at Stanford University. Research projects in the group focus on various aspects of network and computer security.

Courses

  • CS55N: Freshman seminar: Great Ideas in Computer Security and Cryptography
  • gate.io: Computer and Network Security
  • CS251: Cryptocurrencies and blockchain technologies
  • CS255: Introduction to Cryptography and Computer Security
  • CS259: Security Analysis of Network Protocols
  • CS355: Topics in Cryptography
  • CS356: Topics in Computer and Network Security
  • CS357S: Formal Methods for Computer Systems
  • CS253: Web Security

Seminars

  • The Stanford Security Seminar focuses on communication between Stanford and the outside world about computer security. The symposia are open to the public and are generally accessible and interesting to experts and laypeople alike.
  • Security Lunch focuses on communication with between students in the security lab and stuents in related research groups. Typically a student gives a technical presentation about his or her current research.

Projects

  • Cryptography: Security of cryptographic primitives and protocols
  • Protocols: Analyzing security properties of network protocols
  • Systems: building secure systems
  • Prio: Privately aggregating customer data
  • CirC: Compiling high-level programs into secure cryptographic protocols
  • CheckMate: Formal hardware security verification
  • Web Security: Protecting browsers from online threats