Publicacións (74) Publicacións de ALBERTO RUBIO GIMENO

2023

  1. Circom: A Circuit Description Language for Building Zero-Knowledge Applications

    IEEE Transactions on Dependable and Secure Computing, Vol. 20, Núm. 6, pp. 4733-4751

  2. Inferring Needless Write Memory Accesses on Ethereum Bytecode

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

  3. 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. A Max-SMT Superoptimizer for EVM handling Memory and Storage

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

  2. Distilling Constraints in Zero-Knowledge Protocols

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

  3. Super-optimization of Smart Contracts

    ACM Transactions on Software Engineering and Methodology, Vol. 31, Núm. 4

  4. 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)

2021

  1. Actor-based model checking for Software-Defined Networks

    Journal of Logical and Algebraic Methods in Programming, Vol. 118

  2. Don't run on fumes—Parametric gas bounds for smart contracts

    Journal of Systems and Software, Vol. 176

  3. Lower-Bound Synthesis Using Loop Specialization and Max-SMT

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

2020

  1. GASOL: Gas Analysis and Optimization for Ethereum Smart Contracts

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

  2. Smart, and also Reliable and Gas-Efficient, Contracts

    Proceedings - 2020 IEEE 13th International Conference on Software Testing, Verification and Validation, ICST 2020

  3. Synthesis of Super-Optimized Smart Contracts Using Max-SMT

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

  4. Taming callbacks for smart contract modularity

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

2019

  1. Incomplete smt techniques for solving non-linear formulas over the integers

    ACM Transactions on Computational Logic, Vol. 20, Núm. 4

  2. Resource Analysis driven by (Conditional) Termination Proofs

    Theory and Practice of Logic Programming, Vol. 19, Núm. 5-6, pp. 722-739

  3. Running on fumes: Preventing out-of-gas vulnerabilities in ethereum smart contracts using static resource analysis

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

  4. SafeVM: A safety verifier for ethereum smart contracts

    ISSTA 2019 - Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis

  5. The Termination and Complexity Competition

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