Skip to main content


eCommons@Cornell >

Browsing by Author Schneider, Fred

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
or enter first few letters:   
Sort by: In order: Results/Page Authors/Record:
Showing results 1 to 8 of 8
PreviewIssue DateTitleAuthor(s)
10-Nov-2005Certified In-lined Reference Monitoring on .NetHamlen, Kevin; Morrisett, Greg; Schneider, Fred
25-Jul-2012Costs of Security in the PFS File SystemWalsh, Kevin; Schneider, Fred
20-Nov-2000A Language-Based Approach to SecuritySchneider, Fred; Morrisett, Greg; Harper, Robert
20-Sep-2011Logical Attestation: An Authorization Architecture for Trustworthy ComputingSirer, Emin Gun; de Bruijn, William; Reynolds, Patrick; Shieh, Alan; Walsh, Kevin; Williams, Dan; Schneider, Fred
26-Sep-2011Nerio: Leader Election and Edict OrderingVan Renesse, Robbert; Schneider, Fred; Gehrke, Johannes
15-May-2009NetQuery: A General-Purpose Channel for Reasoning about NetworkShieh, Alan; Kennedy, Oliver; Sirer, Emin Gun; Schneider, Fred
12-Feb-2010Quantification of IntegrityClarkson, Michael; Schneider, Fred
21-Dec-2006Securing BGP Using External Security MonitorsReynolds, Patrick; Kennedy, Oliver; Sirer, Emin Gun; Schneider, Fred
Showing results 1 to 8 of 8


© 2014 Cornell University Library Contact Us