| 2026 | Financial Cryptography and Data Security - 29th International Conference, FC 2025, Miyakojima, Japan, April 14-18, 2025, Revised Selected Papers, Part I Christina Garman, Pedro Moreno-Sanchez |
| 2025 | $Proo\upvarphi $: A ZKP Market Mechanism. Wenhao Wang, Lulu Zhou, Aviv Yaish, Fan Zhang, Ben Fisch, Benjamin Livshits |
| 2025 | A Composability Treatment of Bitcoin's Transaction Ledger with Variable Difficulty. Juan Garay, Yun Lu, Julien Prat, Brady Testa, Vassilis Zikas |
| 2025 | A Formally Verified Lightning Network. Grzegorz Fabianski, Rafal Stefanski, Orfeas Stefanos Thyfronitis Litos |
| 2025 | A Framework for Combined Transaction Posting and Pricing for Layer 2 Blockchains. Shouqiao Wang, Davide Crapis, Ciamac C. Moallemi |
| 2025 | Anthemius: Efficient and Modular Block Assembly for Concurrent Execution. Ray Neiheiser, Eleftherios Kokoris-Kogias |
| 2025 | Communication and Round Efficient Parallel Broadcast Protocols. Nibesh Shrestha, Ittai Abraham, Kartik Nayak |
| 2025 | IvyAPC: Auditable Generalized Payment Channels. Ming Li, Yuxian Li, Jian Weng, Yingjiu Li, Jia-Si Weng, Junzuo Lai, Robert H. Deng |
| 2025 | Leveraging Homomorphic Encryption for Maximal Extractable Value (MEV) Mitigation: Blind Arbitrage on Decentralised Exchanges. Jonathan Passerat-Palmbach |
| 2025 | Lixom: Protecting Encryption Keys with Execute-Only Memory. Tristan Hornetz, Lukas Gerlach, Michael Schwarz |
| 2025 | Overlapped Bootstrapping for FHEW/TFHE and Its Application to SHA3. Deokhwa Hong, Youngjin Choi, Yongwoo Lee, Young-Sik Kim |
| 2025 | Pilotfish: Distributed Execution for Scalable Blockchains. Quentin Kniep, Lefteris Kokoris-Kogias, Alberto Sonnino, Igor Zablotchi, Nuda Zhang |
| 2025 | Rapidash: Atomic Swaps Secure Under User-Miner Collusion. Hao Chung, Elisaweta Masserova, Elaine Shi, Sri Aravinda Krishnan Thyagarajan |
| 2025 | Robust Double Auctions for Resource Allocation. Arthur Lazzaretti, Charalampos Papamanthou, Ismael Hishon-Rezaizadeh |
| 2025 | Securely Computing One-Sided Matching Markets. James Hsin-yu Chiang, Ivan Damgård, Claudio Orlandi, Mahak Pancholi, Mark Simkin |
| 2025 | Serial Monopoly on Blockchains with Quasi-patient Users. Paolo Penna, Manvir Schneider |
| 2025 | Short Paper: Curve Forests - Transparent Zero-Knowledge Set Membership with Batching and Strong Security. Matteo Campanelli, Mathias Hall-Andersen, Simon Holmgaard Kamp |
| 2025 | SoK: Trusted Setups for Powers-of-Tau Strings. Faxing Wang, Shaanan Cohney, Joseph Bonneau |
| 2025 | Strengthening Multi-hop Channels via Strategic Mesh Connections. Shuyang Tang, Sherman S. M. Chow |
| 2025 | The Case of FBA as a DEX Processing Model. Tiantian Gong, Zeyu Liu, Aniket Kate |
| 2025 | Towards Optimal Parallel Broadcast Under a Dishonest Majority. Daniel Collins, Sisi Duan, Julian Loss, Charalampos Papamanthou, Giorgos Tsimos, Haochen Wang |
| 2025 | Verifying Jolt zkVM Lookup Semantics. Carl Kwan, Quang Dao, Justin Thaler |
| 2025 | X-Transfer: Enabling and Optimizing Cross-PCN Transactions. Lukas Aumayr, Zeta Avarikioti, Iosif Salem, Stefan Schmid, Michelle Yeo |
| 2025 | am-AMM: An Auction-Managed Automated Market Maker. Austin Adams, Ciamac C. Moallemi, Sara Reynolds, Dan Robinson |