Philip Daian

According to our database, Philip Daian authored at least 19 papers between 2015 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Complete Knowledge: Preventing Encumbrance of Cryptographic Secrets.

Mahimna Kelkar, Kushal Babel, Philip Daian, James Austgen, Vitalik Buterin, Ari Juels

IACR Cryptol. ePrint Arch., 2023

2021

Clockwork Finance: Automated Analysis of Economic Security in Smart Contracts.

Kushal Babel, Philip Daian, Mahimna Kelkar, Ari Juels

IACR Cryptol. ePrint Arch., 2021

Unity is Strength: A Formalization of Cross-Domain Maximal Extractable Value.

Alexandre Obadia, Alejo Salles, Lakshman Sankar, Tarun Chitra, Vaibhav Chellani, Philip Daian

CoRR, 2021

SquirRL: Automating Attack Analysis on Blockchain Incentive Mechanisms with Deep Reinforcement Learning.

Charlie Hou, Mingxun Zhou, Yan Ji, Phil Daian, Florian Tramèr, Giulia Fanti, Ari Juels

Proceedings of the 28th Annual Network and Distributed System Security Symposium, 2021

2020

Flash Boys 2.0: Frontrunning in Decentralized Exchanges, Miner Extractable Value, and Consensus Instability.

Philip Daian, Steven Goldfeder, Tyler Kell, Yunqi Li, Xueyuan Zhao, Iddo Bentov, Lorenz Breidenbach, Ari Juels

Proceedings of the 2020 IEEE Symposium on Security and Privacy, 2020

2019

The Hydra Framework for Principled, Automated Bug Bounties.

Lorenz Breidenbach, Philip Daian, Florian Tramèr, Ari Juels

IEEE Secur. Priv., 2019

SquirRL: Automating Attack Discovery on Blockchain Incentive Mechanisms with Deep Reinforcement Learning.

Charlie Hou, Mingxun Zhou, Yan Ji, Phil Daian, Florian Tramèr, Giulia Fanti, Ari Juels

CoRR, 2019

Flash Boys 2.0: Frontrunning, Transaction Reordering, and Consensus Instability in Decentralized Exchanges.

Philip Daian, Steven Goldfeder, Tyler Kell, Yunqi Li, Xueyuan Zhao, Iddo Bentov, Lorenz Breidenbach, Ari Juels

CoRR, 2019

Snow White: Robustly Reconfigurable Consensus and Applications to Provably Secure Proof of Stake.

Phil Daian, Rafael Pass, Elaine Shi

Proceedings of the Financial Cryptography and Data Security, 2019

Tesseract: Real-Time Cryptocurrency Exchange Using Trusted Hardware.

Iddo Bentov, Yan Ji, Fan Zhang, Lorenz Breidenbach, Philip Daian, Ari Juels

Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security, 2019

Paralysis Proofs: Secure Dynamic Access Structures for Cryptocurrency Custody and More.

Fan Zhang, Philip Daian, Iddo Bentov, Ian Miers, Ari Juels

Proceedings of the 1st ACM Conference on Advances in Financial Technologies, 2019

2018

Paralysis Proofs: Safe Access-Structure Updates for Cryptocurrencies and More.

Fan Zhang, Philip Daian, Iddo Bentov, Ari Juels

IACR Cryptol. ePrint Arch., 2018

A formal verification tool for Ethereum VM bytecode.

Daejun Park, Yi Zhang, Manasvi Saxena, Philip Daian, Grigore Rosu

Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2018

KEVM: A Complete Formal Semantics of the Ethereum Virtual Machine.

Everett Hildenbrandt, Manasvi Saxena, Nishant Rodrigues, Xiaoran Zhu, Philip Daian, Dwight Guth, Brandon M. Moore, Daejun Park, Yi Zhang, Andrei Stefanescu, Grigore Rosu

Proceedings of the 31st IEEE Computer Security Foundations Symposium, 2018

2017

Enter the Hydra: Towards Principled Bug Bounties and Exploit-Resistant Smart Contracts.

Lorenz Breidenbach, Philip Daian, Florian Tramèr, Ari Juels

IACR Cryptol. ePrint Arch., 2017

Tesseract: Real-Time Cryptocurrency Exchange using Trusted Hardware.

Iddo Bentov, Yan Ji, Fan Zhang, Yunqi Li, Xueyuan Zhao, Lorenz Breidenbach, Philip Daian, Ari Juels

IACR Cryptol. ePrint Arch., 2017

(Short Paper) PieceWork: Generalized Outsourcing Control for Proofs of Work.

Philip Daian, Ittay Eyal, Ari Juels, Emin Gün Sirer

Proceedings of the Financial Cryptography and Data Security, 2017

2016

Runtime Verification at Work: A Tutorial.

Philip Daian, Dwight Guth, Chris Hathhorn, Yilong Li, Edgar Pek, Manasvi Saxena, Traian-Florin Serbanuta, Grigore Rosu

Proceedings of the Runtime Verification - 16th International Conference, 2016

2015

RV-Android: Efficient Parametric Android Runtime Verification, a Brief Tutorial.

Philip Daian, Yliès Falcone, Patrick O'Neil Meredith, Traian-Florin Serbanuta, Shinichi Shiraishi, Akihito Iwai, Grigore Rosu

Proceedings of the Runtime Verification - 6th International Conference, 2015