Adam Petcher

Publication Activity (10 Years)

Years Active: 2009-2023
Publications (10 Years): 5

Top Topics

Security Systems

Data Encryption

Intrusion Detection

Statistical Databases

Top Venues

IACR Cryptol. ePrint Arch.

USENIX Security Symposium

Publications

Adam Petcher, Matthew Campagna
Security of Hybrid Key Establishment using Concatenation. IACR Cryptol. ePrint Arch. 2023 (2023)
Brett Boston, Samuel Breese, Joey Dodds, Mike Dodds, Brian Huffman, Adam Petcher, Andrei Stefanescu
Verified Cryptographic Code for Everybody. CAV (1) (2021)
Matthew Campagna, Adam Petcher
Security of Hybrid Key Encapsulation. IACR Cryptol. ePrint Arch. 2020 (2020)
Katherine Q. Ye, Matthew Green, Naphat Sanguansin, Lennart Beringer, Adam Petcher, Andrew W. Appel
Verified Correctness and Security of mbedTLS HMAC-DRBG. CoRR (2017)
Katherine Q. Ye, Matthew Green, Naphat Sanguansin, Lennart Beringer, Adam Petcher, Andrew W. Appel
Verified Correctness and Security of mbedTLS HMAC-DRBG. CCS (2017)
Adam Petcher, Greg Morrisett
The Foundational Cryptography Framework. POST (2015)
Adam Petcher, Greg Morrisett
A Mechanized Proof of Security for Searchable Symmetric Encryption. CSF (2015)
Lennart Beringer, Adam Petcher, Katherine Q. Ye, Andrew W. Appel
Verified Correctness and Security of OpenSSL HMAC. USENIX Security Symposium (2015)
Adam Petcher, Greg Morrisett
The Foundational Cryptography Framework. CoRR (2014)
Adam Petcher, Roger I. Khazan, Daniil M. Utin
A usable interface for location-based access control and Over-The-Air Keying in tactical environments. MILCOM (2011)
Aaron Stump, Morgan Deters, Adam Petcher, Todd Schiller, Timothy W. Simpson
Verified programming in Guru. PLPV (2009)