Skip to main content


eCommons@Cornell

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 24
 next >
PreviewIssue DateTitleAuthor(s)
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
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
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.
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.
29-Mar-2013Reconciling Exhaustive Pattern Matching with ObjectsIsradisaikul, Chinawat; Myers, Andrew C.
31-Jan-2012Scalability In Coordinated Transaction ManagementGupta, Nitin
28-Mar-2007Secure web applications via automatic partitioningChong, Stephen; Liu, Jed; Myers, Andrew C.; Qi, Xin; Vikram, K.; Zheng, Lantian; Zheng, Xin
20-Aug-2012Static Power Reduction Techniques For Asynchronous CircuitsOrtega Otero, Carlos
Showing results 1 to 20 of 24
 next >

 

© 2014 Cornell University Library Contact Us