Skip to main content


eCommons@Cornell >

Browsing by Author Myers, Andrew C.

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 20 of 28
 next >
PreviewIssue DateTitleAuthor(s)
18-Aug-2014Asynchronous Design For Ubiquitous ComputingOrtega Otero, Carlos
31-Jan-2012Authorization And Trust In Software SystemsWalsh, Kevin
10-Feb-2005Belief in Information FlowClarkson, Michael R.; Myers, Andrew C.; Schneider, Fred B.
17-May-2007Civitas: A Secure Voting SystemClarkson, Michael R.; Chong, Stephen; Myers, Andrew C.
22-Aug-2000Confidentiality and Integrity with Untrusted Hosts: Technical ReportZdancewic, Steve; Myers, Andrew C.
26-May-2013Design And Implementation Of A Low Power Asynchronous Gps Baseband ProcessorLongfield, Stephen
12-Apr-2015Diagnosing Type Errors with ClassZhang, Danfeng; Myers, Andrew C.; Vytiniotis, Dimitrios; Jones, Simon Peyton
23-Jan-2004Dynamic Security Labels and NoninterferenceZheng, Lantian; Myers, Andrew C.
2-Apr-2005End-to-End Availability Policies and NoninterferenceZheng, Lantian; Myers, Andrew C.
9-Apr-2008End-to-End Enforcement of Erasure and DeclassificationChong, Stephen; Myers, Andrew C.
26-May-2013Fault Tolerance For Main-Memory Applications In The CloudCao, Tuan
15-Apr-2015Genus: Making Generics Object-Oriented, Expressive, and LightweightZhang, Yizhou; Loring, Matthew C.; Salvaneschi, Guido; Liskov, Barbara; Myers, Andrew C.
10-Apr-2014A Hardware Design Language for Efficient Control of Timing ChannelsZhang, Danfeng; Wang, Yao; Suh, G. Edward; Myers, Andrew C.
18-Oct-2002JMatch: Java plus Pattern MatchingLiu, Jed; Myers, Andrew C.
17-Jan-2014A Language for Securely Referencing Persistent Information in a Federated SystemLiu, Jed; Myers, Andrew C.
26-Jan-2015Lazy Transaction Execution ModelsRoy, Sudip
19-Aug-2013Light Transport On Path-Space ManifoldsJakob, Wenzel
7-Aug-2006Making Distributed Computation Trustworthy by ConstructionZheng, Lantian; Myers, Andrew C.
5-Nov-2002Polyglot: An Extensible Compiler Framework for JavaNystrom, Nathaniel; Clarkson, Michael R.; Myers, Andrew C.
1-Mar-2007Quantifying Information Flow with BeliefsClarkson, Michael R.; Myers, Andrew C.; Schneider, Fred B.
Showing results 1 to 20 of 28
 next >


© 2014 Cornell University Library Contact Us