CLARA
RODRÍGUEZ NÚÑEZ
Predoctoral FPI
ELVIRA MARÍA
ALBERT ALBIOL
Catedrática de universidad
Publicaciones en las que colabora con ELVIRA MARÍA ALBERT ALBIOL (4)
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