|
People
Group Leader
Staff & Post-docs
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
|
