Bibliography

2027

• [NDSS'27] Mengqian Zhang, Sen Yang, Kartik Nayak, Fan Zhang. Boost+: Equitable, Incentive-Compatible Block Building. Network and Distributed System Security (2027), to appear, 2027.

2026

• [CCS'26] Fatima Elsheimy, Ioannis Kaklamanis, Sarisht Wadhwa, Charalampos Papamanthou, Fan Zhang. Censorship Resistance vs Throughput in Multi-Proposer BFT Protocols. ACM CCS'26, 2026.
• [CCS'26] Sen Yang, Kaihua Qin, Aviv Yaish, Fan Zhang. Insecurity Through Obscurity: Veiled Vulnerabilities in Closed-Source Contracts. ACM CCS'26, 2026.
• [CCS'26] Haofei Liang, Zeyu Liu, Yunhao Wang, Xiang Xie, Yu Yu, Fan Zhang. Relect: Single Secret Leader Election via FHE with Reduced Computation and Communication and Transparent Setup. ACM CCS'26, 2026.
• [Security'26] Sarisht Wadhwa, Aviv Yaish, Fan Zhang, Kartik Nayak. Perils of Parallelism: Transaction Fee Mechanisms under Execution Uncertainty. USENIX Security'26, 2026.
• [arXiv 2606.13892] Sarah Allen, Pranay Anchuri, James Austgen, Maryam Bahrani, Samuel Breckenridge, Aaron Buchwald, Christian Cachin, Andrés Fábrega, Jared Fernandez, James Hsin-yu Chiang, Marwa Mouallem, Roi Bar-Zur, Neil DeSilva, Ittay Eyal, Giulia Fanti, Ari Juels, Andrew Miller, Christian Sillaber, Dani Vilardell, Pramod Viswanath, Wenhao Wang, Matt Weinberg, Sen Yang, Jianzhu Yao, Fan Zhang. Crypto x AI, AI x Crypto: A Survey. In submission, 2026.
• [SIGMETRICS'26] Sen Yang, Burak Öz, Fei Wu, Fan Zhang. Geographical Centralization Resilience in Ethereum's Block-Building Paradigms. ACM SIGMETRICS 2026, 2026.
• [SBC'26] Wenhao Wang, Aditya Saraf, Lioba Heimbach, Kushal Babel, Fan Zhang. Blockspace Under Pressure: An Analysis of Spam MEV on High-Throughput Blockchains. SBC'26, 2026.
• [NDSS'26] Wenhao Wang, Fangyan Shi, Dani Vilardell, Fan Zhang. Cirrus: Performant and Accountable Distributed SNARK. Network and Distributed System Security (2026), 2026.
• [ePrint 2026/159] Katerina Sotiraki, Yunhao Wang, Fan Zhang. Dinocchio: Distributed Prover for Ring Arithmetic. In submission, 2026.

2025

• [ePrint 2025/2330] Ioannis Kaklamanis, Wenhao Wang, Harjasleen Malvai, Fan Zhang. Verifiable Aggregate Receipts with Applications to User Engagement Auditing. In submission, 2025.
• Mariarosaria Barbaraci, Stephanie Ma, Harjasleen Malvai, Marwa Mouallem, Silei Ren, Yoshi Sato, Sen Yang, Fan Zhang. DeadDrop: Responsible Disclosure of Smart Contract Bugs. In submission, 2025.
• [DeFi'25] Mengqian Zhang, Sen Yang, Fan Zhang. RediSwap: MEV Redistribution Mechanism for CFMMs. Proceedings of the Workshop on Decentralized Finance and Security (DeFi ‘25), 2025.
• [OOPSLA'25] Hongbo Chen, Quan Zhou, Sen Yang, Xing Han, Fan Zhang, Danfeng Zhang, Xiaofeng Wang. AGORA: Open More and Trust Less in Binary Verification Service. ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA 2025), 2025.
• [Security'25] Yunhao Wang, Fan Zhang. Qelect: Lattice-based Single Secret Leader Election Made Practical. USENIX Security 2025, 2025.
• [PETS'25] Michael Rosenberg, Maurice Shih, Zhenyu Zhao, Rui Wang, Ian Miers, and Fan Zhang. ZIPNet: Low-bandwidth anonymous broadcast from (dis)Trusted Execution Environments. Privacy Enhancing Technologies Symposium (PETS 2025), 2025.
• [S&P'25] Sen Yang, Kartik Nayak, Fan Zhang. Decentralization of Ethereum's Builder Market. IEEE S&P 2025, 2025.
• [FC'25] Wenhao Wang, Lulu Zhou, Aviv Yaish, Fan Zhang, Ben Fisch, Benjamin Livshits. Prooφ: A ZKP Market Mechanism. Financial Cryptography and Data Security (FC 2025), 2025.
• [ePrint 2025/618] Jayamine Alupotha, Mariarosaria Barbaraci, Ioannis Kaklamanis, Abhimanyu Rawat, Christian Cachin, Fan Zhang. Anonymous Self-Credentials and their Application to Single-Sign-On. In submission, 2025.
• [ePrint 2025/194] Sarisht Wadhwa, Julian Ma, Thomas Thiery, Barnabe Monnot, Luca Zanolini, Fan Zhang, Kartik Nayak. AUCIL: An Inclusion List Design for Rational Parties. In submission, 2025.
• [arXiv 2502.04659] Ioannis Kaklamanis, Fan Zhang. CRATE: Cross-Rollup Atomic Transaction Execution. In submission, 2025.

2024

• [DeFi'24] Sen Yang, Fan Zhang, Ken Huang, Xi Chen, Youwei Yang, Feng Zhu. SoK: MEV Countermeasures. Proceedings of the Workshop on Decentralized Finance and Security (DeFi 2024), 2024.
• [DeFi'24] Chon Kit Lao, Sophie Zhou, Luyao Zhang, Fan Zhang, Kanye Ye Wang. Unpacking Long-Latency Transactions in Ethereum. Proceedings of the Workshop on Decentralized Finance and Security (DeFi 2024), 2024.
• [Cambridge Press] Ken Huang, Youwei Yang, Fan Zhang, Xi Chen, Feng Zhu. (Book Chapter) Web3: Blockchain, the New Economy, and the Self-Sovereign Internet. Cambridge Press, 2024.
• [AFT'24] Lulu Zhou, Zeyu Liu, Fan Zhang, Michael K. Reiter. CrudiTEE: A Stick-and-Carrot Approach to Building Trustworthy Cryptocurrency Wallets with TEEs. ACM Advances in Financial Technologies (AFT 2024), 2024.
• [CCS'24] Sarisht Wadhwa, Luca Zanolini, Francesco D’Amato, Aditya Asgaonkar, Kartik Nayak, and Fan Zhang. Data Independent Order Policy Enforcement: Limitations and Solutions. ACM CCS 2024, 2024.
• [Security'24] Michael Mirkin, Lulu Zhou, Ittal Eyal, Fan Zhang. Sprints: Intermittent Blockchain PoW Mining. USENIX Security 2024, 2024.

2023

• [CCS'23] Weijie Wang, Yujie Lu, Charalampos Papamanthou, and Fan Zhang. The Locality of Memory Checking. ACM CCS 2023, 2023.
• [ICML'23] Zhang, Jianyi and Li, Ang and Tang, Minxue and Sun, Jingwei and Chen, Xiang and Zhang, Fan and Chen, Changyou and Chen, Yiran and Li, Hai. Fed-CBS: A Heterogeneity-Aware Client Sampling Mechanism for Federated Learning via Class-Imbalance Reduction. Proceedings of the 40th International Conference on Machine Learning, PMLR 202:41354-41381, 2023, 2023.
• [EuroS&P'23] Xu, Rongwu and Yang, Sen and Zhang, Fan and Fang, Zhixuan. MISO: Legacy-compatible Privacy-preserving Single Sign-on using Trusted Execution Environments. IEEE EuroS&P 2023, 2023.
• [NDSS'23] Sarisht Wadhwa, Jannis Stoeter, Fan Zhang, Kartik Nayak. He-HTLC: Revisiting Incentives in HTLC. Network and Distributed System Security (2023), 2023.

2022

• [CCS'22] Tiancheng Xie, Jiaheng Zhang, Zerui Cheng, Fan Zhang, Yupeng Zhang, Yongzheng Jia, Dan Boneh, and Dawn Song. zkBridge: Trustless Cross-chain Bridges Made Practical. ACM CCS 2022, 2022.
• [CCS'22] Y. Liu, Y. Lu, K. Nayak, F. Zhang, L. Zhang, Y. Zhao. Empirical Analysis of EIP-1559: Transaction Fees, Waiting Time, and Consensus Security. ACM CCS 2022, 2022.

2021

• [S&P'21] D. Maram, H. Malvai, F. Zhang, N. Jean-Louis, A. Frolov, T. Kell, T. Lobban, C. Moy, A. Juels, and A. Miller. CanDID: Can-Do Decentralized Identity with Legacy Compatibility, Sybil-Resistance, and Accountability. IEEE S&P 2021, 2021.

2020

• [NBER Working Paper] S. Allen, S. Čapkun, I. Eyal, G. Fanti, B. Ford, J. Grimmelmann, A. Juels, K. Kostiainen, S. Meiklejohn, A. Miller, E. Prasad, K. Wüst, and F. Zhang. Design Choices for Central Bank Digital Currency: Policy and Technical Considerations. NBER Working Paper No. 27634, 2020.
• [CCS'20] F. Zhang, SKD Maram, H. Malvai, S. Goldfeder, and A. Juels. DECO: Liberating Web Data Using Decentralized Oracles for TLS. ACM CCS 2020, 2020.
• [CRYPTO'20] M. Kelkar, F. Zhang, S. Goldfeder, and A. Juels. Order-Fairness for Byzantine Consensus. The Annual International Cryptology Conference (CRYPTO 2020), 2020.
• [IEEE S&P Mag'20] F. Zhang, W. He, R. Cheng, J. Kos, N. Hynes, N. Johnson, A. Juels, A. Miller, and D. Song. The Ekiden Platform for Confidentiality-Preserving, Trustworthy, and Performant Smart Contracts. IEEE Security & Privacy Magazine (Volume: 18, Issue: 3, May-June 2020), 2020.

2019

• [CCS'19] SKD Maram*, F. Zhang*, L. Wang, A. Low, Y. Zhang, A. Juels, and D. Song. CHURP: Dynamic-Committee Proactive Secret Sharing. ACM CCS 2019, 2019.
• [CCS'19] I. Bentov, Y. Ji, F. Zhang, Y. Li, X. Zhao, L. Breidenbach, P. Daian, and A. Juels. Tesseract: Real-Time Cryptocurrency Exchange using Trusted Hardware. ACM CCS 2019, 2019.
• [AFT'19] F. Zhang, P. Daian, I. Bentov, I. Miers, and A. Juels. Paralysis Proofs: Secure Dynamic Access Structures for Cryptocurrency Custody and More. ACM Advances in Financial Technologies (AFT 2019), 2019.
• [EuroS&P'19] R. Cheng, F. Zhang, J. Kos, W. He, N. Hynes, N. M. Johnson, A. Juels, A. Miller, and D. Song. Ekiden: A Platform for Confidentiality-Preserving, Trustworthy, and Performant Smart Contracts. IEEE EuroS&P 2019, 2019.

2017

• [CCS'17] E. Cecchetti, F. Zhang, Y. Ji, A. E. Kosba, A. Juels, and E. Shi. Solidus: Confidential Distributed Ledger Transactions via PVORM. ACM CCS 2017, 2017.
• [Security'17] F. Zhang, I. Eyal, R. Escriva, A. Juels, and R. van Renesse. REM: Resource-Efficient Mining for Blockchains. USENIX Security Symposium (Security 2017), 2017.
• [EuroS&P'17] F. Tramèr, F. Zhang, H. Lin, Jean-Pierre Hubaux, A. Juels, and E. Shi. Sealed-Glass Proofs: Using Transparent Enclaves to Prove and Sell Knowledge. IEEE EuroS&P 2017, 2017.

2016

• [CCS'16] F. Zhang, E. Cecchetti, K. Croman, A. Juels, and E. Shi. Town Crier: An Authenticated Data Feed for Smart Contracts. ACM CCS 2016, 2016.
• [Security'16] F. Tramèr, F. Zhang, A. Juels, M. K. Reiter, and T. Ristenpart. Stealing Machine Learning Models via Prediction APIs. USENIX Security Symposium (Security 2016), 2016.

2015

• [CIKM'15] L. Yang, Y. Cui, F. Zhang, J. P. Pollak, S. Belongie, and D. Estrin. PlateClick: Bootstrapping Food Preferences Through an Adaptive Visual Interface. ACM Conference on Information and Knowledge Management (CIKM 2015), 2015.