|
People
Group Leader
Staff & Post-docs
PhD Students
Alumni
|
|
Current Projects
-
Safe Haskell --
A security orientated extension to Haskell
- tcpcrypt -- A TCP option for ubiquitous transport-layer encryption.
- DUNE -- Virtualized, extensiable OS as a kernel module
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
|
