Clara Rodríguez-Núñez

According to our database, Clara Rodríguez-Núñez authored at least 7 papers between 2020 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Scalable Verification of Zero-Knowledge Protocols.

Miguel Isabel, Clara Rodríguez-Núñez, Albert Rubio

Proceedings of the IEEE Symposium on Security and Privacy, 2024

2023

Relaxed Effective Callback Freedom: A Parametric Correctness Condition for Sequential Modules With Callbacks.

Elvira Albert, Shelly Grossman, Noam Rinetzky, Clara Rodríguez-Núñez, Albert Rubio, Mooly Sagiv

IEEE Trans. Dependable Secur. Comput., 2023

Automated Detection of Under-Constrained Circuits in Zero-Knowledge Proofs.

Shankara Pailoor, Yanju Chen, Franklyn Wang, Clara Rodríguez-Núñez, Jacob Van Geffen, Jason Morton, Michael Chu, Brian Gu, Yu Feng, Isil Dillig

Proc. ACM Program. Lang., 2023

Automated Detection of Underconstrained Circuits for Zero-Knowledge Proofs.

Shankara Pailoor, Yanju Chen, Franklyn Wang, Clara Rodríguez-Núñez, Jacob Van Gaffen, Jason Morton, Michael Chu, Brian Gu, Yu Feng, Isil Dillig

IACR Cryptol. ePrint Arch., 2023

2022

Distilling Constraints in Zero-Knowledge Protocols.

Elvira Albert, Marta Bellés-Muñoz, Miguel Isabel, Clara Rodríguez-Núñez, Albert Rubio

Proceedings of the Computer Aided Verification - 34th International Conference, 2022

Using Automated Reasoning Techniques for Enhancing the Efficiency and Security of (Ethereum) Smart Contracts.

Elvira Albert, Pablo Gordillo, Alejandro Hernández-Cerezo, Clara Rodríguez-Núñez, Albert Rubio

Proceedings of the Automated Reasoning - 11th International Joint Conference, 2022

2020

Taming callbacks for smart contract modularity.

Elvira Albert, Shelly Grossman, Noam Rinetzky, Clara Rodríguez-Núñez, Albert Rubio, Mooly Sagiv

Proc. ACM Program. Lang., 2020