( en | de | ru )

 

Disambiguierung von "Gordillo, Pablo"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Running on Fumes - Preventing Out-of-Gas Vulnerabilities in Ethereum Smart Contracts Using Static Resource Analysis.

, , , und . VECoS, Volume 11847 von Lecture Notes in Computer Science, Seite 63-78. Springer, (2019)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Gerardo Andrés Gordillo

Gerardo Gordillo Guzman

Pablo Robert

Pablo Berger

Pablo Lorenzano

 

Weitere Publikationen von Autoren mit dem selben Namen

Static Profiling and Optimization of Ethereum Smart Contracts Using Resource Analysis., , und . IEEE Access, (2021)Running on Fumes - Preventing Out-of-Gas Vulnerabilities in Ethereum Smart Contracts Using Static Resource Analysis., , , und . VECoS, Volume 11847 von Lecture Notes in Computer Science, Seite 63-78. Springer, (2019)Synthesis of Super-Optimized Smart Contracts Using Max-SMT., , , und . CAV (1), Volume 12224 von Lecture Notes in Computer Science, Seite 177-200. Springer, (2020)Inferring Needless Write Memory Accesses on Ethereum Bytecode (Extended Version)., , , , und . CoRR, (2023)A Max-SMT Superoptimizer for EVM handling Memory and Storage., , , und . TACAS (1), Volume 13243 von Lecture Notes in Computer Science, Seite 201-219. Springer, (2022)Inferring Needless Write Memory Accesses on Ethereum Bytecode., , , , und . TACAS (1), Volume 13993 von Lecture Notes in Computer Science, Seite 448-466. Springer, (2023)May-Happen-in-Parallel Analysis for Asynchronous Programs with Inter-Procedural Synchronization., , und . SAS, Volume 9291 von Lecture Notes in Computer Science, Seite 72-89. Springer, (2015)GASTAP: A Gas Analyzer for Smart Contracts., , , und . CoRR, (2018)Super-optimization of Smart Contracts., , , , und . ACM Trans. Softw. Eng. Methodol., 31 (4): 70:1-70:29 (2022)SAFEVM: a safety verifier for Ethereum smart contracts., , , , und . ISSTA, Seite 386-389. ACM, (2019)