![Foto de CLARA](/img/nophoto.png)
CLARA
RODRÍGUEZ NÚÑEZ
Predoctoral FPI
Publicacions (5) Publicacions de CLARA RODRÍGUEZ NÚÑEZ
2023
-
Automated Detection of Under-Constrained Circuits in Zero-Knowledge Proofs
Proceedings of the ACM on Programming Languages, Vol. 7
-
Relaxed Effective Callback Freedom: A Parametric Correctness Condition for Sequential Modules With Callbacks
IEEE Transactions on Dependable and Secure Computing, Vol. 20, Núm. 3, pp. 2256-2273
2022
-
Distilling Constraints in Zero-Knowledge Protocols
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Using Automated Reasoning Techniques for Enhancing the Efficiency and Security of (Ethereum) Smart Contracts
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2020
-
Taming callbacks for smart contract modularity
Proceedings of the ACM on Programming Languages, Vol. 4, Núm. OOPSLA