Not registered as user yet

Name:Clara Rodríguez-Núñez
Affiliation:Complutense University of Madrid

Contributions

PLDI 2023 Automated Detection of Under-constrained Circuits in Zero-Knowledge Proofs
Show activities from other conferences

Using general profile