Adrian Mettler

I am a Ph.D. candidate in computer science at U.C. Berkeley, advised by David Wagner. I graduated in 2004 from Harvey Mudd College.

My research is on enabling programmers to write secure software and reason about its correctness and safety properties. Current work includes the Joe-E subset of Java for capability-secure programming.

I am an officer in the CSGSA.

Publications

Class Properties for Security Review in an Object-Capability Subset of Java (Short Paper)

Adrian Mettler and David Wagner. PLAS 2010, June 10, 2010.

Fine-Grained Privilege Separation for Web Applications

Akshay Krishnamurthy, Adrian Mettler, and David Wagner. World Wide Web Conference (WWW) 2010, April 26-30, 2010.

Joe-E: A Security-Oriented Subset of Java

Adrian Mettler, David Wagner, and Tyler Close. 17th Annual Network and Distributed System Security Symposium (NDSS 2010), March 3, 2010.

Verifiable Functional Purity in Java

Matthew Finifter, Adrian Mettler, Naveen Sastry, and David Wagner. 15th ACM Conference on Computer and Communication Security (CCS 2008), October 27-31, 2008.

The Joe-E Language Specification, Version 1.0

Adrian Mettler and David Wagner. EECS Department, UC Berkeley. Technical Report No. UCB/EECS-2008-91. August 7, 2008.