Alejandro Hernndez-Cerezo
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2022–2025
Best venue rank
C
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | LOPSTR | Verifying Smart Contracts in Yul via Transformation to CHC by Interpreter Specialization. | Elvira Albert, Emanuele De Angelis, Fabio Fioravanti, Alejandro Hernndez-Cerezo, Giulia Matricardi |
| 2025 | SEFM | Securely Optimized (Ethereum) Smart Contracts Using Formal Methods. | Elvira Albert, Samir Genaim, Pablo Gordillo, Alejandro Hernndez-Cerezo, Enrique Martin-Martin, Albert Rubio |
| 2022 | CADE | Using Automated Reasoning Techniques for Enhancing the Efficiency and Security of (Ethereum) Smart Contracts. | Elvira Albert, Pablo Gordillo, Alejandro Hernndez-Cerezo, Clara Rodrguez-Nez, Albert Rubio |
| 2022 | TACAS | A Max-SMT Superoptimizer for EVM handling Memory and Storage. | Elvira Albert, Pablo Gordillo, Alejandro Hernndez-Cerezo, Albert Rubio |