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
- CS155: 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
Faculty
- Alex Aiken
- Dan Boneh
- Zakir Durumeric
- Dawson Engler
- Philip Levis
- David Mazieres
- John Mitchell
- Elisabeth Pate-Cornell
- Mendel Rosenblum
- Caroline Trippel
- Emma Dauterman (starting Fall'25)
- Mark Zhandry (starting Fall'25)
Ph.D. Students
Post-docs
Alumni
- Adam Barth
- Adam Belay
- Joe Bonneau
- Andrew Bortz
- Hristo Bojinov
- Benedikt Bünz
- Ajay Chander
- Alissa Cooper
- Henry Corrigan-Gibbs
- Anupam Datta
- Ante Derek
- Glenn Durfee
- Nancy Durgin
- Saba Eskandarian
- Ben Fisch
- Steve Freund
- Tal Garfinkel
- Craig Gentry
- Eu-Jin Goh
- Philippe Golle
- Mike Hamburg
- Changhua He
- Jeremy Horwitz
- Collin Jackson
- Vimalkumar Jeyakumar
- Sam Kim
- Dima Kogan
- Peifung Eric Lam
- Amit Levy
- Kevin Lewi
- Ben Lynn
- Mike Malkin
- Ali Jose Mashtizadeh
- Jonathan Mayer
- Yan Michalevsky
- Mark Mitchell
- Ilya Mironov
- Nagendra Modadugu
- Hart Montgomery
- Patrick Mutchler
- Valeria Nikolaenko
- Ajith Ramanathan
- Arnab Roy
- Steve Rumble
- Hovav Shacham
- Vitaly Shmatikov
- Deian Stefan
- Stephan Hyeonjun Stiller
- Ryan Stutsman
- Mukund Sundararajan
- Ankur Taly
- Vanessa Teague
- David Terei
- Florian Tramèr
- Riad S. Wahby
- David Wu
- Edward Z Yang
- Mark Zhandry
- Joe Zimmerman
- Ilan Zohar
Former Postdocs
- Elie Bursztein
- Iliano Cervesato
- David Freeman
- Suman Jana
- Ralf Kuesters
- Ninghui Li
- Arvind Narayanan
- Matthieu Turuani
- Brent Waters
- Bogdan Warinschi