|
|
eCommons@Cornell >
Browsing by Author Schneider, Fred
Showing results 1 to 8 of 8
| Preview | Issue Date | Title | Author(s) | | 10-Nov-2005 | Certified In-lined Reference Monitoring on .Net | Hamlen, Kevin; Morrisett, Greg; Schneider, Fred |
| 25-Jul-2012 | Costs of Security in the PFS File System | Walsh, Kevin; Schneider, Fred |
| 20-Nov-2000 | A Language-Based Approach to Security | Schneider, Fred; Morrisett, Greg; Harper, Robert |
| 20-Sep-2011 | Logical Attestation: An Authorization Architecture for Trustworthy Computing | Sirer, Emin Gun; de Bruijn, William; Reynolds, Patrick; Shieh, Alan; Walsh, Kevin; Williams, Dan; Schneider, Fred |
| 26-Sep-2011 | Nerio: Leader Election and Edict Ordering | Van Renesse, Robbert; Schneider, Fred; Gehrke, Johannes |
| 15-May-2009 | NetQuery: A General-Purpose Channel for Reasoning about Network | Shieh, Alan; Kennedy, Oliver; Sirer, Emin Gun; Schneider, Fred |
| 12-Feb-2010 | Quantification of Integrity | Clarkson, Michael; Schneider, Fred |
| 21-Dec-2006 | Securing BGP Using External Security Monitors | Reynolds, Patrick; Kennedy, Oliver; Sirer, Emin Gun; Schneider, Fred |
Showing results 1 to 8 of 8
|
