Follow
Alejandro Hernández-Cerezo
Title
Cited by
Cited by
Year
Analyzing smart contracts: from EVM to a sound control-flow graph
E Albert, J Correas, P Gordillo, AHCG Román-Díez, A Rubio
arXiv preprint arXiv:2004.14437, 2020
122020
Super-optimization of smart contracts
E Albert, P Gordillo, A Hernández-Cerezo, A Rubio, MA Schett
ACM Transactions on Software Engineering and Methodology (TOSEM) 31 (4), 1-29, 2022
82022
A Max-SMT superoptimizer for EVM handling memory and storage
E Albert, P Gordillo, A Hernández-Cerezo, A Rubio
International Conference on Tools and Algorithms for the Construction and …, 2022
72022
Using Automated Reasoning Techniques for Enhancing the Efficiency and Security of (Ethereum) Smart Contracts
E Albert, P Gordillo, A Hernández-Cerezo, C Rodríguez-Núñez, A Rubio
International Joint Conference on Automated Reasoning, 3-7, 2022
2022
Integrating the EVM super-optimizer gasol into real-world compilers
A Hernández Cerezo
2021
Estrategias para la implementación de algoritmos de satisfactibilidad en lógica de reescritura
A Hernández Cerezo
2020
Analysis techniques for Smart contracts: generation of complete control flow graphs
A Hernández Cerezo
2020
The system can't perform the operation now. Try again later.
Articles 1–7