Leo: A Programming Language for Formally Verified, Zero-Knowledge Applications. - Collin Chin; Howard Wu; Raymond Chu; Alessandro Coglio; Eric McCarthy; Eric Smith (IACR Cryptol. ePrint Arch., 2021)

Syntheto: A Surface Language for APT and ACL2. - Alessandro Coglio; Eric McCarthy; Stephen J. Westfold; Daniel Balasubramanian; Abhishek Dubey; Gabor Karsai (ACL2, 2022)

Formal Verification of Zero-Knowledge Circuits. - Alessandro Coglio; Eric McCarthy; Eric Whitman Smith (ACL2, 2023)

Compositional Formal Verification of Zero-Knowledge Circuits. - Alessandro Coglio; Eric McCarthy; Eric Smith; Collin Chin; Pranav Gaddamadugu; Michel Dellepere (IACR Cryptol. ePrint Arch., 2023)

Formal Verification of Blockchain Nonforking in DAG-Based BFT Consensus with Dynamic Stake. - Alessandro Coglio; Eric McCarthy (CoRR, 2025)

A Formalization of the Yul Language and Some Verified Yul Code Transformations. - Alessandro Coglio; Eric McCarthy (CoRR, 2025)