Author pages are created from data sourced from our academic publisher partnerships and public sources.
- Publications
- Influence
KEVM: A Complete Formal Semantics of the Ethereum Virtual Machine
- E. Hildenbrandt, M. Saxena, +8 authors G. Rosu
- Computer Science
- IEEE 31st Computer Security Foundations Symposium…
- 9 July 2018
TLDR
KEVM: A Complete Semantics of the Ethereum Virtual Machine
- E. Hildenbrandt, M. Saxena, +4 authors G. Rosu
- Computer Science
- 1 August 2017
TLDR
- 113
- 7
Flash Boys 2.0: Frontrunning, Transaction Reordering, and Consensus Instability in Decentralized Exchanges
- Philip Daian, Steven Goldfeder, +5 authors A. Juels
- Computer Science
- ArXiv
- 10 April 2019
TLDR
A formal verification tool for Ethereum VM bytecode
- Daejun Park, Yi Zhang, M. Saxena, Philip Daian, G. Rosu
- Computer Science
- ESEC/SIGSOFT FSE
- 26 October 2018
TLDR
Flash Boys 2.0: Frontrunning in Decentralized Exchanges, Miner Extractable Value, and Consensus Instability
- Philip Daian, Steven Goldfeder, +5 authors A. Juels
- Computer Science
- IEEE Symposium on Security and Privacy (SP)
- 1 May 2020
TLDR
Tesseract: Real-Time Cryptocurrency Exchange Using Trusted Hardware
TLDR
Enter the Hydra: Towards Principled Bug Bounties and Exploit-Resistant Smart Contracts
- Lorenz Breidenbach, Philip Daian, Florian Tramèr, A. Juels
- Computer Science
- IACR Cryptol. ePrint Arch.
- 15 August 2018
TLDR
(Short Paper) PieceWork: Generalized Outsourcing Control for Proofs of Work
- Philip Daian, Ittay Eyal, A. Juels, Emin Gün Sirer
- Computer Science
- Financial Cryptography Workshops
- 3 April 2017
TLDR
A model for Bitcoin’s security and the declining block subsidy
- Hasu James Prestwich, Brandon Curtis, +23 authors R. Auer
We are grateful to Anthony Towns, Arjun Balaji, Brian Venturo, David Vorick, Joe Kendzicky, Lucas Nuzzi, Matthew Hammond, Nic Carter, Philip Daian, Steve Lee, Su Zhu, Tarun Chitra, and Yassine… Expand
- 2
- 1
- PDF
RV-Android: Efficient Parametric Android Runtime Verification, a Brief Tutorial
- Philip Daian, Yliès Falcone, +4 authors G. Rosu
- Computer Science
- RV
- 21 September 2015
TLDR