Philip Daian
Philip Daian
PhD Student, Cornell University
Verified email at cs.cornell.edu - Homepage
Title
Cited by
Cited by
Year
Kevm: A complete formal semantics of the ethereum virtual machine
E Hildenbrandt, M Saxena, N Rodrigues, X Zhu, P Daian, D Guth, ...
2018 IEEE 31st Computer Security Foundations Symposium (CSF), 204-217, 2018
1172018
Kevm: A complete semantics of the ethereum virtual machine
E Hildenbrandt, M Saxena, X Zhu, N Rodrigues, P Daian, D Guth, G Rosu
652017
Snow White: Robustly Reconfigurable Consensus and Applications to Provably Secure Proof of Stake
P Daian, R Pass, E Shi
International Conference on Financial Cryptography and Data Security, 23-41, 2019
492019
Tesseract: Real-time cryptocurrency exchange using trusted hardware
I Bentov, Y Ji, F Zhang, L Breidenbach, P Daian, A Juels
Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications …, 2019
422019
Analysis of the DAO exploit
P Daian
Hacking, Distributed 6, 2016
352016
Analysis of the DAO exploit
P Daian
Hacking, Distributed 6, 2016
352016
A formal verification tool for Ethereum VM bytecode
D Park, Y Zhang, M Saxena, P Daian, G Roşu
Proceedings of the 2018 26th ACM Joint Meeting on European Software …, 2018
312018
Flash boys 2.0: Frontrunning, transaction reordering, and consensus instability in decentralized exchanges
P Daian, S Goldfeder, T Kell, Y Li, X Zhao, I Bentov, L Breidenbach, ...
arXiv preprint arXiv:1904.05234, 2019
232019
Enter the hydra: Towards principled bug bounties and exploit-resistant smart contracts
L Breidenbach, P Daian, F Tramèr, A Juels
27th {USENIX} Security Symposium ({USENIX} Security 18), 1335-1352, 2018
222018
An in-depth look at the parity multisig bug
L Breidenbach, P Daian, A Juels, EG Sirer
Hacking, Distributed, 2017
152017
Rv-android: Efficient parametric android runtime verification, a brief tutorial
P Daian, Y Falcone, P Meredith, TF Şerbănuţă, A Iwai, G Rosu
Runtime Verification, 342-357, 2015
142015
PieceWork: Generalized Outsourcing Control for Proofs of Work
P Daian, EG Sirer, I Eyal, A Juels
BITCOIN'17, 2017
12*2017
Runtime verification at work: A tutorial
P Daian, D Guth, C Hathhorn, Y Li, E Pek, M Saxena, TF Şerbănuţă, ...
International Conference on Runtime Verification, 46-67, 2016
72016
Runtime verification at work: A tutorial
P Daian, D Guth, C Hathhorn, Y Li, E Pek, M Saxena, TF Şerbănuţă, ...
International Conference on Runtime Verification, 46-67, 2016
72016
DAO attack, 2016
P Daian
URL: http://hackingdistributed. com/2016/06/18/analysis-of-the-dao-exploit, 2016
72016
An in-depth look at the parity multisig bug. 2017
L Breidenbach, P Daian, A Juels, EG Sirer
URL: http://hackingdistributed. com/2017/07/22/deepdive-parity-bug, 2017
62017
Paralysis proofs: Secure dynamic access structures for cryptocurrencies and more
F Zhang, P Daian, G Kaptchuk, I Bentov, I Miers, A Juels
IACR ePrint 96, 2018, 2018
52018
Application Assurance for Open Platform In-Vehicle Infotainment System
S Shiraishi, G Rosu, P Daian, A Iwai, H Kuwajima
US Patent App. 14/939,625, 2017
52017
To sink frontrunners, send in the submarines
L Breidenbach, P Daian, A Juels, F Tramèr
52017
RV-ECU: Maximum Assurance In-Vehicle Safety Monitoring
P Daian, S Shiraishi, A Iwai, B Manja, G Rosu
SAE Technical Paper, 2016
52016
The system can't perform the operation now. Try again later.
Articles 1–20