Collin Chin

Publication Activity (10 Years)

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

Top Topics

Programming Language

Stored Procedures

Top Venues

IACR Cryptol. ePrint Arch.

Publications

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)
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)