4
Publications
165
Citations
4
H-Index
2006
Active since
Affiliations
University of California, Berkeley(Current)
Adrian Mettler is an author at University of California, Berkeley specializing in computer science, engineering, and formal verification.
Top concepts
EngineeringComputer ScienceCryptographyData SecurityProgram AnalysisSoftware AnalysisSoftware SecurityFormal VerificationEducationData Privacy
Publications per year
2006–2010
4
4
Joe-E: A Security-Oriented Subset of Java.
Adrian Mettler, David Wagner, Tyler Close · 2010 · 76 citations
Verifiable functional purity in java
Matthew Finifter, Adrian Mettler, Naveen Sastry et al. · 2008 · 42 citations
Code Base, Engineering, Verification +19
Rows per page
1–4 of 4