| 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 | 182 | 2018 |
| 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 | 82 | 2019 |
| Kevm: A complete semantics of the ethereum virtual machine E Hildenbrandt, M Saxena, X Zhu, N Rodrigues, P Daian, D Guth, G Rosu | 75 | 2017 |
| 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 | 62 | 2019 |
| 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 | 55 | 2019 |
| 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 | 53 | 2018 |
| 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 | 34 | 2018 |
| Analysis of the DAO exploit P Daian Hacking, Distributed 6, 2016 | 32 | 2016 |
| Analysis of the DAO exploit P Daian Hacking, Distributed 6, 2016 | 32 | 2016 |
| Flash boys 2.0: Frontrunning in decentralized exchanges, miner extractable value, and consensus instability P Daian, S Goldfeder, T Kell, Y Li, X Zhao, I Bentov, L Breidenbach, ... 2020 IEEE Symposium on Security and Privacy (SP), 910-927, 2020 | 21 | 2020 |
| An in-depth look at the parity multisig bug L Breidenbach, P Daian, A Juels, EG Sirer Hacking, Distributed, 2017 | 19 | 2017 |
| 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 | 19 | 2015 |
| PieceWork: Generalized Outsourcing Control for Proofs of Work P Daian, EG Sirer, I Eyal, A Juels BITCOIN'17, 2017 | 14* | 2017 |
| Analysis of the DAO Exploit. 2016 P Daian URL: http://hackingdistributed. com/2016/06/18/analysis-of-thedao-exploit …, 2016 | 10 | 2016 |
| 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 | 8 | 2017 |
| RV-ECU: Maximum Assurance In-Vehicle Safety Monitoring P Daian, S Shiraishi, A Iwai, B Manja, G Rosu SAE Technical Paper, 2016 | 7 | 2016 |
| DAO attack, 2016 P Daian URL: http://hackingdistributed. com/2016/06/18/analysis-of-the-dao-exploit, 2016 | 7 | 2016 |
| & Juels, A.(2019). 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 arXiv preprint arXiv:1904.05234, 0 | 7 | |
| The cost of decentralization in 0x and EtherDelta I Bentov, L Breidenbach, P Daian, A Juels, Y Li, X Zhao | 6 | 2017 |
| To sink frontrunners, send in the submarines L Breidenbach, P Daian, A Juels, F Tramèr | 6 | 2017 |
Grigore RosuUniversity of Illinois at Urbana ChampaignGeverifieerd e-mailadres voor illinois.edu
