Adam Petcher

12 papers A* 2A 1Journal 5Unranked 4
YearRankTypeTitle / Venue / Authors
2023 J jnl
Security of Hybrid Key Establishment using Concatenation.
IACR Cryptol. ePrint Arch.
Adam Petcher, Matthew Campagna
2021 — conf
Verified Cryptographic Code for Everybody.
CAV (1)
Brett Boston, Samuel Breese, Joey Dodds, Mike Dodds, Brian Huffman, Adam Petcher, Andrei Stefanescu
2020 J jnl
Security of Hybrid Key Encapsulation.
IACR Cryptol. ePrint Arch.
Matthew Campagna, Adam Petcher
2017 A* conf
Verified Correctness and Security of mbedTLS HMAC-DRBG.
CCS
Katherine Q. Ye, Matthew Green, Naphat Sanguansin, Lennart Beringer, Adam Petcher, Andrew W. Appel
2017 J jnl
Verified Correctness and Security of mbedTLS HMAC-DRBG.
CoRR
Katherine Q. Ye, Matthew Green, Naphat Sanguansin, Lennart Beringer, Adam Petcher, Andrew W. Appel
2015 A conf
A Mechanized Proof of Security for Searchable Symmetric Encryption.
CSF
Adam Petcher, Greg Morrisett
2015 — conf
The Foundational Cryptography Framework.
POST
Adam Petcher, Greg Morrisett
2015 A* conf
Verified Correctness and Security of OpenSSL HMAC.
USENIX Security Symposium
Lennart Beringer, Adam Petcher, Katherine Q. Ye, Andrew W. Appel
2014 J jnl
The Foundational Cryptography Framework.
CoRR
Adam Petcher, Greg Morrisett
2011 — conf
A usable interface for location-based access control and Over-The-Air Keying in tactical environments.
MILCOM
Adam Petcher, Roger I. Khazan, Daniil M. Utin
2009 — conf
Verified programming in Guru.
PLPV
Aaron Stump, Morgan Deters, Adam Petcher, Todd Schiller, Timothy W. Simpson
2002 J jnl
The smart entertainment ainment center-simulator.
J. Comput. Sci. Coll.
Tonya Antle, Eric Hall, David Lewis, Adam Petcher, Lisa J. Burnell