Pablo Gordillo

Identifiers

• name variant Pablo Gordillo 0.50 · backfill

Papers (2)

1. SAFEVM: A Safety Verifier for Ethereum Smart Contracts cs.PL · 2019 · author #3
2. EthIR: A Framework for High-Level Analysis of Ethereum Bytecode cs.PL · 2018 · author #2

Mentions

No mention provenance yet.

Frequent Coauthors

• Albert Rubio 2 shared papers
• Elvira Albert 2 shared papers
• Benjamin Livshits 1 shared papers
• Guillermo Rom\'an-D\'iez 1 shared papers
• Ilya Sergey 1 shared papers
• Jes\'us Correas 1 shared papers