Andrew C. Myers

Publications by Year

Research Areas

Security and Verification in Computing, Distributed systems and fault tolerance, Advanced Malware Detection Techniques, Logic, programming, and type systems, Cloud Data Security Solutions

Most-Cited Works

• → Language-based information-flow security(2003)1,885 cited
• → JFlow(1999)1,028 cited
• → Protecting privacy using the decentralized label model(2000)550 cited
• → A decentralized model for information flow control(1997)531 cited
• → Civitas: Toward a Secure Voting System(2008)400 cited
• → Polyglot: An Extensible Compiler Framework for Java(2003)374 cited
• → Observational determinism for concurrent program security(2004)271 cited
• → Parameterized types for Java(1997)250 cited
• → Secure web applications via automatic partitioning(2007)243 cited
• → A Model for Delimited Information Release(2004)199 cited