Philip Daian

Publication Activity (10 Years)

Years Active: 2015-2023
Publications (10 Years): 19

Top Topics

Access Structure

Virtual Machine

High Definition Video

Formal Verification

Top Venues

IACR Cryptol. ePrint Arch.

IEEE Symposium on Security and Privacy

Publications

Mahimna Kelkar, Kushal Babel, Philip Daian, James Austgen, Vitalik Buterin, Ari Juels
Complete Knowledge: Preventing Encumbrance of Cryptographic Secrets. IACR Cryptol. ePrint Arch. 2023 (2023)
Kushal Babel, Philip Daian, Mahimna Kelkar, Ari Juels
Clockwork Finance: Automated Analysis of Economic Security in Smart Contracts. SP (2023)
Kushal Babel, Philip Daian, Mahimna Kelkar, Ari Juels
Clockwork Finance: Automated Analysis of Economic Security in Smart Contracts. IACR Cryptol. ePrint Arch. 2021 (2021)
Kushal Babel, Philip Daian, Mahimna Kelkar, Ari Juels
Clockwork Finance: Automated Analysis of Economic Security in Smart Contracts. CoRR (2021)
Alexandre Obadia, Alejo Salles, Lakshman Sankar, Tarun Chitra, Vaibhav Chellani, Philip Daian
Unity is Strength: A Formalization of Cross-Domain Maximal Extractable Value. CoRR (2021)
Philip Daian, Steven Goldfeder, Tyler Kell, Yunqi Li, Xueyuan Zhao, Iddo Bentov, Lorenz Breidenbach, Ari Juels
Flash Boys 2.0: Frontrunning in Decentralized Exchanges, Miner Extractable Value, and Consensus Instability. IEEE Symposium on Security and Privacy (2020)
Philip Daian, Steven Goldfeder, Tyler Kell, Yunqi Li, Xueyuan Zhao, Iddo Bentov, Lorenz Breidenbach, Ari Juels
Flash Boys 2.0: Frontrunning, Transaction Reordering, and Consensus Instability in Decentralized Exchanges. CoRR (2019)
Iddo Bentov, Yan Ji, Fan Zhang, Lorenz Breidenbach, Philip Daian, Ari Juels
Tesseract: Real-Time Cryptocurrency Exchange Using Trusted Hardware. CCS (2019)
Lorenz Breidenbach, Philip Daian, Florian Tramèr, Ari Juels
The Hydra Framework for Principled, Automated Bug Bounties. IEEE Secur. Priv. 17 (4) (2019)
Fan Zhang, Philip Daian, Iddo Bentov, Ian Miers, Ari Juels
Paralysis Proofs: Secure Dynamic Access Structures for Cryptocurrency Custody and More. AFT (2019)
Daejun Park, Yi Zhang, Manasvi Saxena, Philip Daian, Grigore Rosu
A formal verification tool for Ethereum VM bytecode. ESEC/SIGSOFT FSE (2018)
Everett Hildenbrandt, Manasvi Saxena, Nishant Rodrigues, Xiaoran Zhu, Philip Daian, Dwight Guth, Brandon M. Moore, Daejun Park, Yi Zhang, Andrei Stefanescu, Grigore Rosu
KEVM: A Complete Formal Semantics of the Ethereum Virtual Machine. CSF (2018)
Fan Zhang, Philip Daian, Iddo Bentov, Ari Juels
Paralysis Proofs: Safe Access-Structure Updates for Cryptocurrencies and More. IACR Cryptol. ePrint Arch. 2018 (2018)
Lorenz Breidenbach, Philip Daian, Florian Tramèr, Ari Juels
Enter the Hydra: Towards Principled Bug Bounties and Exploit-Resistant Smart Contracts. USENIX Security Symposium (2018)
Lorenz Breidenbach, Philip Daian, Florian Tramèr, Ari Juels
Enter the Hydra: Towards Principled Bug Bounties and Exploit-Resistant Smart Contracts. IACR Cryptol. ePrint Arch. 2017 (2017)
Philip Daian, Ittay Eyal, Ari Juels, Emin Gün Sirer
(Short Paper) PieceWork: Generalized Outsourcing Control for Proofs of Work. Financial Cryptography Workshops (2017)
Iddo Bentov, Yan Ji, Fan Zhang, Yunqi Li, Xueyuan Zhao, Lorenz Breidenbach, Philip Daian, Ari Juels
Tesseract: Real-Time Cryptocurrency Exchange using Trusted Hardware. IACR Cryptol. ePrint Arch. 2017 (2017)
Philip Daian, Dwight Guth, Chris Hathhorn, Yilong Li, Edgar Pek, Manasvi Saxena, Traian-Florin Serbanuta, Grigore Rosu
Runtime Verification at Work: A Tutorial. RV (2016)
Philip Daian, Yliès Falcone, Patrick O'Neil Meredith, Traian-Florin Serbanuta, Shin'ichi Shiriashi, Akihito Iwai, Grigore Rosu
RV-Android: Efficient Parametric Android Runtime Verification, a Brief Tutorial. RV (2015)