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)

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 (IJCAR, 2022)

Distilling Constraints in Zero-Knowledge Protocols. - Elvira Albert; Marta Bellés-Muñoz; Miguel Isabel; Clara Rodríguez-Núñez; Albert Rubio (CAV (1), 2022)

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 001; Isil Dillig (IACR Cryptol. ePrint Arch., 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 001; Isil Dillig (Proc. ACM Program. Lang., 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)

Scalable Verification of Zero-Knowledge Protocols. - Miguel Isabel; Clara Rodríguez-Núñez; Albert Rubio (SP, 2024)