CLARA
RODRÍGUEZ NÚÑEZ
Predoctoral FPI
Publicaciones (4) Publicaciones de CLARA RODRÍGUEZ NÚÑEZ
2023
-
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