Clara Rodríguez-Núñez

Publication Activity (10 Years)

Years Active: 2020-2023
Publications (10 Years): 4

Top Topics

Knowledge Representation

Automated Reasoning

Top Venues

Proc. ACM Program. Lang.

IEEE Trans. Dependable Secur. Comput.

Publications

Elvira Albert, Shelly Grossman, Noam Rinetzky, Clara Rodríguez-Núñez, Albert Rubio, Mooly Sagiv
Relaxed Effective Callback Freedom: A Parametric Correctness Condition for Sequential Modules With Callbacks. IEEE Trans. Dependable Secur. Comput. 20 (3) (2023)
Elvira Albert, Pablo Gordillo, Alejandro Hernández-Cerezo, Clara Rodríguez-Núñez, Albert Rubio
Using Automated Reasoning Techniques for Enhancing the Efficiency and Security of (Ethereum) Smart Contracts. IJCAR (2022)
Elvira Albert, Marta Bellés-Muñoz, Miguel Isabel, Clara Rodríguez-Núñez, Albert Rubio
Distilling Constraints in Zero-Knowledge Protocols. CAV (1) (2022)
Elvira Albert, Shelly Grossman, Noam Rinetzky, Clara Rodríguez-Núñez, Albert Rubio, Mooly Sagiv
Taming callbacks for smart contract modularity. Proc. ACM Program. Lang. 4 (OOPSLA) (2020)