Eric McCarthy

Publication Activity (10 Years)

Years Active: 2021-2023
Publications (10 Years): 4

Top Topics

Knowledge Representation

Programming Language

Formal Verification

Bounded Model Checking

Top Venues

IACR Cryptol. ePrint Arch.

Publications

Alessandro Coglio, Eric McCarthy, Eric W. Smith
Formal Verification of Zero-Knowledge Circuits. CoRR (2023)
Alessandro Coglio, Eric McCarthy, Eric Smith, Collin Chin, Pranav Gaddamadugu, Michel Dellepere
Compositional Formal Verification of Zero-Knowledge Circuits. IACR Cryptol. ePrint Arch. 2023 (2023)
Alessandro Coglio, Eric McCarthy, Stephen J. Westfold, Daniel Balasubramanian, Abhishek Dubey, Gabor Karsai
Syntheto: A Surface Language for APT and ACL2. ACL2 (2022)
Collin Chin, Howard Wu, Raymond Chu, Alessandro Coglio, Eric McCarthy, Eric Smith
Leo: A Programming Language for Formally Verified, Zero-Knowledge Applications. IACR Cryptol. ePrint Arch. 2021 (2021)