Philip Daian
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
5
Active years
2015–2024
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | CCS | Complete Knowledge: Preventing Encumbrance of Cryptographic Secrets. | Mahimna Kelkar, Kushal Babel, Philip Daian, James Austgen, Vitalik Buterin, Ari Juels |
| 2023 | SP | Clockwork Finance: Automated Analysis of Economic Security in Smart Contracts. | Kushal Babel, Philip Daian, Mahimna Kelkar, Ari Juels |
| 2020 | SP | 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 |
| 2019 | AFT | Paralysis Proofs: Secure Dynamic Access Structures for Cryptocurrency Custody and More. | Fan Zhang, Philip Daian, Iddo Bentov, Ian Miers, Ari Juels |
| 2019 | CCS | Tesseract: Real-Time Cryptocurrency Exchange Using Trusted Hardware. | Iddo Bentov, Yan Ji, Fan Zhang, Lorenz Breidenbach, Philip Daian, Ari Juels |
| 2017 | FC | (Short Paper) PieceWork: Generalized Outsourcing Control for Proofs of Work. | Philip Daian, Ittay Eyal, Ari Juels, Emin Gn Sirer |
| 2016 | RV | Runtime Verification at Work: A Tutorial. | Philip Daian, Dwight Guth, Chris Hathhorn, Yilong Li, Edgar Pek, Manasvi Saxena, Traian-Florin Serbanuta, Grigore Rosu |
| 2015 | RV | RV-Android: Efficient Parametric Android Runtime Verification, a Brief Tutorial. | Philip Daian, Ylis Falcone, Patrick O'Neil Meredith, Traian-Florin Serbanuta, Shinichi Shiraishi, Akihito Iwai, Grigore Rosu |