|
|
eCommons@Cornell >
Browsing by Author "Myers, Andrew C."
Showing results 1 to 11 of 11
| Preview | Issue Date | Title | Author(s) | | 10-Feb-2005 | Belief in Information Flow | Clarkson, Michael R.; Myers, Andrew C.; Schneider, Fred B. |
| 17-May-2007 | Civitas: A Secure Voting System | Clarkson, Michael R.; Chong, Stephen; Myers, Andrew C. |
| 22-Aug-2000 | Confidentiality and Integrity with Untrusted Hosts: Technical Report | Zdancewic, Steve; Myers, Andrew C. |
| 23-Jan-2004 | Dynamic Security Labels and Noninterference | Zheng, Lantian; Myers, Andrew C. |
| 2-Apr-2005 | End-to-End Availability Policies and Noninterference | Zheng, Lantian; Myers, Andrew C. |
| 9-Apr-2008 | End-to-End Enforcement of Erasure and Declassification | Chong, Stephen; Myers, Andrew C. |
| 18-Oct-2002 | JMatch: Java plus Pattern Matching | Liu, Jed; Myers, Andrew C. |
| 7-Aug-2006 | Making Distributed Computation Trustworthy by Construction | Zheng, Lantian; Myers, Andrew C. |
| 5-Nov-2002 | Polyglot: An Extensible Compiler Framework for Java | Nystrom, Nathaniel; Clarkson, Michael R.; Myers, Andrew C. |
| 1-Mar-2007 | Quantifying Information Flow with Beliefs | Clarkson, Michael R.; Myers, Andrew C.; Schneider, Fred B. |
| 28-Mar-2007 | Secure web applications via automatic partitioning | Chong, Stephen; Liu, Jed; Myers, Andrew C.; Qi, Xin; Vikram, K.; Zheng, Lantian; Zheng, Xin |
Showing results 1 to 11 of 11
|
