Follow
Xueyuan Zhao
Xueyuan Zhao
Verified email at cmu.edu
Title
Cited by
Cited by
Year
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
4452020
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
2832019
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
442020
The cost of decentralization in 0x and EtherDelta
I Bentov, L Breidenbach, P Daian, A Juels, Y Li, X Zhao
92017
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
32022
The system can't perform the operation now. Try again later.
Articles 1–5