PABLO
GORDILLO ALGUACIL
Profesor ayudante doctor
University College London
Londres, Reino UnidoPublicaciones en colaboración con investigadores/as de University College London (3)
2022
-
Super-optimization of Smart Contracts
ACM Transactions on Software Engineering and Methodology, Vol. 31, Núm. 4
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)
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)