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 (RV, 2015)

Runtime Verification at Work: A Tutorial. - Philip Daian; Dwight Guth; Chris Hathhorn; Yilong Li; Edgar Pek; Manasvi Saxena; Traian-Florin Serbanuta; Grigore Rosu (RV, 2016)

(Short Paper) PieceWork: Generalized Outsourcing Control for Proofs of Work. - Philip Daian; Ittay Eyal; Ari Juels; Emin Gün Sirer (Financial Cryptography Workshops, 2017)

Tesseract: Real-Time Cryptocurrency Exchange using Trusted Hardware. - Iddo Bentov; Yan Ji 001; Fan Zhang 022; Yunqi Li 002; Xueyuan Zhao; Lorenz Breidenbach; Philip Daian; Ari Juels (IACR Cryptol. ePrint Arch., 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)

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 001; Yi Zhang; Andrei Stefanescu; Grigore Rosu (CSF, 2018)

A formal verification tool for Ethereum VM bytecode. - Daejun Park 001; Yi Zhang; Manasvi Saxena; Philip Daian; Grigore Rosu (ESEC/SIGSOFT FSE, 2018)

Paralysis Proofs: Safe Access-Structure Updates for Cryptocurrencies and More. - Fan Zhang 022; Philip Daian; Iddo Bentov; Ari Juels (IACR Cryptol. ePrint Arch., 2018)

Paralysis Proofs: Secure Dynamic Access Structures for Cryptocurrency Custody and More. - Fan Zhang 022; Philip Daian; Iddo Bentov; Ian Miers; Ari Juels (AFT, 2019)

Tesseract: Real-Time Cryptocurrency Exchange Using Trusted Hardware. - Iddo Bentov; Yan Ji 001; Fan Zhang 022; Lorenz Breidenbach; Philip Daian; Ari Juels (CCS, 2019)

Snow White: Robustly Reconfigurable Consensus and Applications to Provably Secure Proof of Stake. - Phil Daian; Rafael Pass; Elaine Shi (Financial Cryptography, 2019)

Flash Boys 2.0: Frontrunning, Transaction Reordering, and Consensus Instability in Decentralized Exchanges. - Philip Daian; Steven Goldfeder; Tyler Kell; Yunqi Li 002; Xueyuan Zhao; Iddo Bentov; Lorenz Breidenbach; Ari Juels (CoRR, 2019)

SquirRL: Automating Attack Discovery on Blockchain Incentive Mechanisms with Deep Reinforcement Learning. - Charlie Hou; Mingxun Zhou; Yan Ji 001; Phil Daian; Florian Tramèr; Giulia Fanti; Ari Juels (CoRR, 2019)

The Hydra Framework for Principled, Automated Bug Bounties. - Lorenz Breidenbach; Philip Daian; Florian Tramèr; Ari Juels (IEEE Secur. Priv., 2019)

Flash Boys 2.0: Frontrunning in Decentralized Exchanges, Miner Extractable Value, and Consensus Instability. - Philip Daian; Steven Goldfeder; Tyler Kell; Yunqi Li 002; Xueyuan Zhao; Iddo Bentov; Lorenz Breidenbach; Ari Juels (SP, 2020)

SquirRL: Automating Attack Analysis on Blockchain Incentive Mechanisms with Deep Reinforcement Learning. - Charlie Hou; Mingxun Zhou; Yan Ji 001; Phil Daian; Florian Tramèr; Giulia Fanti; Ari Juels (NDSS, 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)

Clockwork Finance: Automated Analysis of Economic Security in Smart Contracts. - Kushal Babel; Philip Daian; Mahimna Kelkar; Ari Juels (IACR Cryptol. ePrint Arch., 2021)

Complete Knowledge: Preventing Encumbrance of Cryptographic Secrets. - Mahimna Kelkar; Kushal Babel; Philip Daian; James Austgen; Vitalik Buterin; Ari Juels (IACR Cryptol. ePrint Arch., 2023)