Computation Improves Interactive Symbolic Execution - Joey Dodds (2015)

Continuous Formal Verification of Amazon s2n. - Andrey Chudnov; Nathan Collins; Byron Cook; Joey Dodds; Brian Huffman; Colm MacCárthaigh; Stephen Magill; Eric Mertens; Eric Mullen; Serdar Tasiran; Aaron Tomb; Eddy Westbrook (CAV (2), 2018)

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

Towards Translating Real-World Code with LLMs: A Study of Translating to Rust. - Hasan Ferit Eniser; Hanliang Zhang; Cristina David; Meng Wang 002; Maria Christakis; Brandon Paulsen; Joey Dodds; Daniel Kroening (CoRR, 2024)

Program Synthesis from Partial Traces. - Margarida Ferreira; Victor Nicolet; Joey Dodds; Daniel Kroening (Proc. ACM Program. Lang., 2025)

The Secrets Must Not Flow: Scaling Security Verification to Large Codebases (extended version). - Linard Arquint; Samarth Kishor; Jason R. Koenig; Joey Dodds; Daniel Kroening; Peter Müller 001 (CoRR, 2025)