The smart entertainment ainment center-simulator. - Tonya Antle; Eric Hall; David Lewis; Adam Petcher; Lisa J. Burnell (J. Comput. Sci. Coll., 2002)

Verified programming in Guru. - Aaron Stump; Morgan Deters; Adam Petcher; Todd Schiller; Timothy W. Simpson (PLPV, 2009)

A usable interface for location-based access control and Over-The-Air Keying in tactical environments. - Adam Petcher; Roger I. Khazan; Daniil M. Utin (MILCOM, 2011)

A Mechanized Proof of Security for Searchable Symmetric Encryption. - Adam Petcher; Greg Morrisett (CSF, 2015)

The Foundational Cryptography Framework. - Adam Petcher; Greg Morrisett (POST, 2015)

Verified Correctness and Security of OpenSSL HMAC. - Lennart Beringer; Adam Petcher; Katherine Q. Ye; Andrew W. Appel (USENIX Security Symposium, 2015)

Verified Correctness and Security of mbedTLS HMAC-DRBG. - Katherine Q. Ye; Matthew Green 001; Naphat Sanguansin; Lennart Beringer; Adam Petcher; Andrew W. Appel (CCS, 2017)

Security of Hybrid Key Encapsulation. - Matthew Campagna; Adam Petcher (IACR Cryptol. ePrint Arch., 2020)

Verified Cryptographic Code for Everybody. - Brett Boston; Samuel Breese; Joey Dodds; Mike Dodds; Brian Huffman; Adam Petcher; Andrei Stefanescu (CAV (1), 2021)

Security of Hybrid Key Establishment using Concatenation. - Adam Petcher; Matthew Campagna (IACR Cryptol. ePrint Arch., 2023)