Xueyuan Zhao

Flash Boys 2.0: Frontrunning, Transaction Reordering, and Consensus Instability in Decentralized Exchanges pdf

Ari Juels, Iddo Bentov, Xueyuan Zhao, 2019, ArXiv.

Flash Boys 2.0: Frontrunning in Decentralized Exchanges, Miner Extractable Value, and Consensus Instability

Ari Juels, Iddo Bentov, Xueyuan Zhao, 2020, 2020 IEEE Symposium on Security and Privacy (SP).

Armada: low-effort verification of high-performance concurrent programs

Jacob R. Lorch, Bryan Parno, Shaz Qadeer, 2020, ACM-SIGPLAN Symposium on Programming Language Design and Implementation.

Armada: Automated Verification of Concurrent Code with Sound Semantic Extensibility

Jacob R. Lorch, James R. Wilcox, Bryan Parno, 2022, ACM Trans. Program. Lang. Syst..

Armada: low-effort verification of high-performance concurrent programs

Jacob R. Lorch, Bryan Parno, Shaz Qadeer, 2020, PLDI.

Tesseract: Real-Time Cryptocurrency Exchange using Trusted Hardware

Fan Zhang, Ari Juels, Iddo Bentov, 2017, IACR Cryptol. ePrint Arch..