|
eCommons@Cornell >
Browsing by Author Clarkson, Michael R.
Showing results 2 to 10 of 10
| Preview | Issue Date | Title | Author(s) | | 17-May-2007 | Civitas: A Secure Voting System | Clarkson, Michael R.; Chong, Stephen; Myers, Andrew C. |
| 22-Dec-2008 | Civitas: Implementation of a Threshold Cryptosystem | Davis, Adam M.; Chmelev, Dmitri; Clarkson, Michael R. |
| 27-Jan-2008 | Hyperproperties | Clarkson, Michael R.; Schneider, Fred B. |
| 22-Dec-2008 | Hyperproperties | Clarkson, Michael R.; Schneider, Fred B. |
| 25-Jul-2008 | Hyperproperties: Verification of Proofs | Bueno, Denis L.; Clarkson, Michael R. |
| 17-Apr-2006 | Information-Flow Security for Interactive Programs | O'Neill, Kevin R.; Clarkson, Michael R.; Chong, Stephen |
| 5-Nov-2002 | Polyglot: An Extensible Compiler Framework for Java | Nystrom, Nathaniel; Clarkson, Michael R.; Myers, Andrew C. |
| 12-Jan-2011 | Quantification of Integrity | Clarkson, Michael R.; Schneider, Fred B. |
| 1-Mar-2007 | Quantifying Information Flow with Beliefs | Clarkson, Michael R.; Myers, Andrew C.; Schneider, Fred B. |
Showing results 2 to 10 of 10
|
