|
|
eCommons@Cornell >
Browsing by Author Myers, Andrew C.
Showing results 3 to 18 of 18
| Preview | Issue Date | Title | Author(s) | | 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. |
| 29-Mar-2013 | Reconciling Exhaustive Pattern Matching with Objects | Isradisaikul, Chinawat; Myers, Andrew C. |
| 31-Jan-2012 | Scalability In Coordinated Transaction Management | Gupta, Nitin |
| 28-Mar-2007 | Secure web applications via automatic partitioning | Chong, Stephen; Liu, Jed; Myers, Andrew C.; Qi, Xin; Vikram, K.; Zheng, Lantian; Zheng, Xin |
| 20-Aug-2012 | Static Power Reduction Techniques For Asynchronous Circuits | Ortega Otero, Carlos |
| 20-Aug-2012 | Towards A Secure Federated Information System | Liu, Mon Jed |
| 27-May-2012 | Trustworthy Knowledge Planes For Federated Distributed Systems | Shieh, Alan |
| 31-May-2011 | Watch Out For... What?: Monitoring And Uncertainty In Scientific Computing | Kennedy, Oliver |
Showing results 3 to 18 of 18
|
