Philip Daian

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