Publications (5) Publications de CLARA RODRÍGUEZ NÚÑEZ

2023

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

    Proceedings of the ACM on Programming Languages, Vol. 7

  2. 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

  1. Distilling Constraints in Zero-Knowledge Protocols

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

  2. 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

  1. Taming callbacks for smart contract modularity

    Proceedings of the ACM on Programming Languages, Vol. 4, Núm. OOPSLA