![[ICO]](/icons/blank.gif) | Name | Last modified | Size | Description |
|---|
![[PARENTDIR]](/icons/back.gif) | Parent Directory | | - | |
![[ ]](/icons/layout.gif) | hw-enforcement-using-tagged-mem-osdi-2008-zeldovich.pdf | 2009-01-21 06:21 | 5.6M | |
| info-flow-control-sosp-2007-krohn.pdf | 2009-01-21 05:46 | 209K | |
| information-flow-explicit-histar-osdi-2006-zeldovich-1.pdf | 2009-01-21 07:23 | 261K | |
| injection-attacks-web-apps-popl-2006.pdf | 2009-01-28 04:03 | 305K | |
| os-verification-an-overview-Klein-2008.pdf | 2009-02-20 03:23 | 1.8M | |
| secure-web-apps-sosp-2007-myers.pdf | 2009-01-21 05:38 | 272K | |
| vigilante-containment-internet-worms-sosp-2005.pdf | 2009-01-28 04:30 | 283K | |