Virtual topologies for multicasting with multiple originators in WDM networks. - Ian Ferrel; Adrian Mettler; Edward Miller; Ran Libeskind-Hadas (IEEE/ACM Trans. Netw., 2006)

Verifiable functional purity in java. - Matthew Finifter; Adrian Mettler; Naveen Sastry; David A. Wagner 001 (CCS, 2008)

Joe-E: A Security-Oriented Subset of Java. - Adrian Mettler; David A. Wagner 001; Tyler Close (NDSS, 2010)

Class properties for security review in an object-capability subset of Java: (short paper). - Adrian Mettler; David A. Wagner 001 (PLAS, 2010)

Fine-grained privilege separation for web applications. - Akshay Krishnamurthy; Adrian Mettler; David A. Wagner 001 (WWW, 2010)

An Empirical Study on the Effectiveness of Security Code Review. - Anne Edmundson; Brian Holtkamp; Emanuel Rivera; Matthew Finifter; Adrian Mettler; David A. Wagner 001 (ESSoS, 2013)