ALBERTO
RUBIO GIMENO
Catedrático de universidad
PABLO
GORDILLO ALGUACIL
Profesor ayudante doctor
Publications dans lesquelles il/elle collabore avec PABLO GORDILLO ALGUACIL (11)
2023
-
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)
2022
-
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)
-
Super-optimization of Smart Contracts
ACM Transactions on Software Engineering and Methodology, Vol. 31, Núm. 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
-
Don't run on fumes—Parametric gas bounds for smart contracts
Journal of Systems and Software, Vol. 176
2020
-
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)
-
Smart, and also Reliable and Gas-Efficient, Contracts
Proceedings - 2020 IEEE 13th International Conference on Software Testing, Verification and Validation, ICST 2020
-
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)
2019
-
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)
-
SafeVM: A safety verifier for ethereum smart contracts
ISSTA 2019 - Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis
2018
-
EthIR: A Framework for High-Level Analysis of Ethereum Bytecode
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)