This is the home page of the Stanford Secure Computer Systems group (a part of the Stanford Computer Science Department).

People
Group Leaders
Staff
PhD Students
Alumni
Current Projects
  • DUNE -- Virtualized, extensiable OS as a kernel module
  • Hails -- A web framework for securely executing third-party apps
  • Ori File System -- A Distributed Secure File System
  • Safe Haskell -- A security orientated extension to Haskell
  • tcpcrypt -- A TCP option for ubiquitous transport-layer encryption.
Past Projects
  • Asbestos -- An operating system that contains the harm of insecure code
  • CoralCDN -- The Coral Content Distribution Network
  • Cinder -- A resource-centric OS for constrained mobile/cellular systems
  • HiStar -- An OS that minimizes privileged code
  • Mail Avenger -- The Spam extermination project
  • OASIS -- Anycast for Any Service
  • Shark -- A secure cooperative-caching file system