Login / Signup
Michel Dellepere
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 1
Top Topics
Learning Systems
Knowledge Acquisition
Formal Verification
Model Checker
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)