Alejandro Hernández-Cerezo

According to our database, Alejandro Hernández-Cerezo authored at least 3 papers in 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2022

Super-optimization of Smart Contracts.

Elvira Albert, Pablo Gordillo, Alejandro Hernández-Cerezo, Albert Rubio, Maria Anna Schett

ACM Trans. Softw. Eng. Methodol., 2022

A Max-SMT Superoptimizer for EVM handling Memory and Storage.

Elvira Albert, Pablo Gordillo, Alejandro Hernández-Cerezo, Albert Rubio

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2022

Using Automated Reasoning Techniques for Enhancing the Efficiency and Security of (Ethereum) Smart Contracts.

Elvira Albert, Pablo Gordillo, Alejandro Hernández-Cerezo, Clara Rodríguez-Núñez, Albert Rubio

Proceedings of the Automated Reasoning - 11th International Joint Conference, 2022