| 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 | 516 | 2020 |
| 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 | 313 | 2019 |
| Armada: low-effort verification of high-performance concurrent programs JR Lorch, Y Chen, M Kapritsos, B Parno, S Qadeer, U Sharma, JR Wilcox, ... Proceedings of the 41st ACM SIGPLAN Conference on Programming Language …, 2020 | 48 | 2020 |
| The cost of decentralization in 0x and EtherDelta I Bentov, L Breidenbach, P Daian, A Juels, Y Li, X Zhao | 10 | 2017 |
| Armada: Automated verification of concurrent code with sound semantic extensibility JR Lorch, Y Chen, M Kapritsos, H Ma, B Parno, S Qadeer, U Sharma, ... ACM Transactions on Programming Languages and Systems (TOPLAS) 44 (2), 1-39, 2022 | 4 | 2022 |
