Adam Petcher

According to our database, Adam Petcher authored at least 9 papers between 2009 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Security of Hybrid Key Establishment using Concatenation.

Adam Petcher, Matthew Campagna

IACR Cryptol. ePrint Arch., 2023

2021

Verified Cryptographic Code for Everybody.

Brett Boston, Samuel Breese, Joey Dodds, Mike Dodds, Brian Huffman, Adam Petcher, Andrei Stefanescu

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

2020

Security of Hybrid Key Encapsulation.

Matthew Campagna, Adam Petcher

IACR Cryptol. ePrint Arch., 2020

2017

Verified Correctness and Security of mbedTLS HMAC-DRBG.

Katherine Q. Ye, Matthew Green, Naphat Sanguansin, Lennart Beringer, Adam Petcher, Andrew W. Appel

Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security, 2017

2015

Verified Correctness and Security of OpenSSL HMAC.

Lennart Beringer, Adam Petcher, Katherine Q. Ye, Andrew W. Appel

Proceedings of the 24th USENIX Security Symposium, 2015

The Foundational Cryptography Framework.

Adam Petcher, Greg Morrisett

Proceedings of the Principles of Security and Trust - 4th International Conference, 2015

A Mechanized Proof of Security for Searchable Symmetric Encryption.

Adam Petcher, Greg Morrisett

Proceedings of the IEEE 28th Computer Security Foundations Symposium, 2015

2011

A usable interface for location-based access control and Over-The-Air Keying in tactical environments.

Adam Petcher, Roger I. Khazan, Daniil M. Utin

Proceedings of the MILCOM 2011, 2011

2009

Verified programming in Guru.

Aaron Stump, Morgan Deters, Adam Petcher, Todd Schiller, Timothy W. Simpson

Proceedings of the 3rd ACM Workshop Programming Languages meets Program Verification, 2009