Program
Financial Cryptography and Data Security 2025
Twenty-Ninth International Conference
14–18 April 2025
Hotel Shigira Mirage
Miyakojima, Japan
|
All events take place in the Hotel Shigira Mirage Convention Hall
unless otherwise indicated.
|
|
| Sunday, April 13, 2025 | |
| 16:30–18:30 | Registration Reception Location: Cafe & Lounge TINGARA |
| Monday, April 14, 2025 | |
| 08:30–09:00 | Registration Location: Convention Hall Foyer |
| 09:00–09:15 | Opening Remarks |
|
Ed Felten Offchain Labs | |
| 10:30–11:00 | Break Location: Convention Hall Foyer |
| 11:00–12:30 |
Session Chair: Dionysis Zindros A Formally Verified Lightning Network. Grzegorz Fabiański (University of Warsaw), Rafał Stefański (University of Warsaw), Orfeas Stefanos Thyfronitis Litos (Imperial College London & Common Prefix) Strengthening Multi-hop Channels via Strategic Mesh Connections. Shuyang Tang (Shanghai Jiao Tong University), Sherman S. M. Chow (The Chinese University of Hong Kong) IvyAPC: Auditable Generalized Payment Channels. Ming Li (Jinan University), Yuxian Li (School of Computing & Information Systems, Singapore Management University), Jian Weng (Jinan University), Yingjiu Li (University of Oregon), Jiasi Weng (Jinan University), Junzuo Lai (Jinan University), Robert H. Deng (School of Computing & Information Systems, Singapore Management University) A Framework for Transaction Posting and Pricing for Layer 2 Blockchains. Shouqiao Wang (Columbia University), Davide Crapis (Ethereum Foundation), Ciamac Moallemi (Columbia University) X-Transfer: Enabling and Optimizing Cross-PCN Transactions. Lukas Aumayr (University of Edinburgh & Common Prefix), Zeta Avarikioti (TU Wien & Common Prefix), Iosif Salem (TU Berlin & ZeroPoint Technologies), Stefan Schmid (TU Berlin), Michelle Yeo (National University of Singapore) |
| 12:30–14:00 | Lunch Location: Shigira Turtle Bay |
| 14:00–15:30 |
Session Chair: Lioba Heimbach am-AMM: An Auction-Managed Automated Market Maker. Austin Adams (Whetstone Research), Ciamac Moallemi (Columbia University), Sara Reynolds (Uniswap Labs), Dan Robinson (Paradigm) The Case of FBA as a DEX Processing Model. Tiantian Gong (Purdue University), Zeyu Liu (Yale University), Aniket Kate (Purdue University) Securely Computing One-Sided Matching Markets. James Hsin-yu Chiang (Aarhus University), Ivan Damgård (Aarhus University), Claudio Orlandi (Aarhus University), Mahak Pancholi (IMDEA Software Institute), Mark Simkin (Independent Researcher) Robust Double Auctions for Resource Allocation. Arthur Lazzaretti (Yale University), Charalampos Papamanthou (Yale University & Lagrange Labs), Ismael Hishon-Rezaizadeh (Lagrange Labs) |
| 15:30–16:00 | Break Location: Convention Hall Foyer |
| 16:00–17:10 |
Session Chair: Alex Block Verifying Jolt zkVM Lookup Semantics. Carl Kwan (The University of Texas at Austin), Quang Dao (Carnegie Mellon University), Justin Thaler (a16z crypto research & Georgetown University) Prooφ: A ZKP Market Mechanism. Wenhao Wang (Yale University), Lulu Zhou (Yale University), Aviv Yaish (Yale University), Fan Zhang (Yale University), Ben Fisch (Yale University), Benjamin Livshits (Imperial College London) SoK: Trusted setups for powers-of-tau strings. Faxing Wang (University of Melbourne), Shaanan Cohney (University of Melbourne), Joseph Bonneau (New York University) Short Paper: Curve Forests: Transparent Zero-Knowledge Set Membership with Batching and Strong Security. Matteo Campanelli (Offchain Labs), Matthias Hall-Andersen (ZKSecurity), Simon Holmgaard Kamp (CISPA Helmholtz Center for Information Security) |
| 18:30–20:30 | Welcome Reception (sponsored by Sui Foundation) Location: Bar & Lounge The Shigira |
| Tuesday, April 15, 2025 | |
|
Session Chair: Shin'ichiro Matsuo A Composability Treatment of Bitcoin's Transaction Ledger with Variable Difficulty. Juan Garay (Texas A&M University), Yun Lu (University of Victoria), Julien Prat (Ecole Polytechnique), Brady Testa (Texas A&M University), Vassilis Zikas (Georgia Tech) Rapidash: Atomic Swaps Secure under User-Miner Collusion. Hao Chung (Carnegie Mellon University), Elisaweta Masserova (Carnegie Mellon University), Elaine Shi (Carnegie Mellon University), Sri AravindaKrishnan Thyagarajan (University of Sydney) Serial Monopoly on Blockchains with Quasi-patient Users. Paolo Penna (IOG), Manvir Schneider (Cardano Foundation) |
|
| 09:54–10:30 |
Session Chair: Orfeas Stefanos Thyfronitis Litos Pilotfish: Distributed Execution for Scalable Blockchains. Quentin Kniep (ETH Zurich), Lefteris Kokoris Kogias (Mysten Labs), Alberto Sonnino (Mysten Labs & University College London), Igor Zablotchi (Mysten Labs), Nuda Zhang (University of Michigan) Anthemius: Efficient & Modular Block Assembly for Concurrent Execution. Ray Neiheiser (IST Austria), Lefteris Kokoris Kogias (Mysten Labs) |
| 10:30–11:00 | Break Location: Convention Hall Foyer |
| 11:00–11:36 |
Session Chair: Alberto Sonnino Communication and Round Efficient Parallel Broadcast Protocols. Nibesh Shrestha (Supra Research), Ittai Abraham (Intel Labs), Kartik Nayak (Duke University) Towards Optimal Parallel Broadcast under a Dishonest Majority. Daniel Collins (Purdue University & Georgia Tech), Sisi Duan (Tsinghua University), Julian Loss (CISPA Helmholtz Center for Information Security), Charalampos Papamanthou (Yale University), Giorgos Tsimos (University of Maryland, College Park), Haochen Wang (Tsinghua University) |
| 11:36–12:30 |
Session Chair: Tiantian Gong Overlapped Bootstrapping for FHEW/TFHE and Its Application to SHA3. Deokhwa Hong (Inha University), Youngjin Choi (Inha University), Yongwoo Lee (Inha University), Young-Sik Kim (Daegu Gyeongbuk Institute of Science and Technology) Lixom: Protecting Encryption Keys with Execute-Only Memory. Tristan Hornetz (CISPA Helmholtz Center for Information Security), Lukas Gerlach (CISPA Helmholtz Center for Information Security), Michael Schwarz (CISPA Helmholtz Center for Information Security) Leveraging Homomorphic Encryption for Maximally Extractable Value (MEV) Mitigation: Enabling Blind Arbitrage on Decentralised Exchanges. Jonathan Passerat-Palmbach (Flashbots & Imperial College London) |
| 12:30–13:30 | Lunch Location: Convention Hall Foyer (bento box pickup) |
| 14:00–18:00 | Excursion (departure from outside Convention Hall Foyer) |
| 20:30–21:30 | General Meeting Location: Convention Hall |
| 21:30–23:30 | Rump Session Location: Convention Hall Session Chair: Andrew Miller |
| Wednesday, April 16, 2025 | |
| 09:00–10:30 |
Session Chair: Aviv Yaish Piercing the Veil of TVL: DeFi Reappraised. Yichen Luo (University College London), Yebo Feng (Nanyang Technological University), Jiahua Xu (University College London), Paolo Tasca (University College London) Transaction Fee Mechanism Design for Leaderless Blockchain Protocols. Pranav Garimidi (a16z crypto), Lioba Heimbach (ETH Zurich), Tim Roughgarden (Columbia University & a16z crypto) Seahorse: Efficiently Mixing Encrypted and Normal Transactions. Ben Riva (Mysten Labs), Alberto Sonnino (Mysten Labs & University College London), Lefteris Kokoris-Kogias (Mysten Labs) The Early Days of the Ethereum Blob Fee Market and Lessons Learnt. Lioba Heimbach (ETH Zurich), Jason Milionis (Columbia University) Quantifying the Value of Revert Protection. Brian Zhu (Columbia University), Xin Wan (Uniswap Labs), Ciamac Moallemi (Columbia University), Dan Robinson (Paradigm), Brad Bachu (Uniswap Labs) |
| 10:30–11:00 | Break Location: Convention Hall Foyer |
| 11:00–12:30 |
Session Chair: Orestis Alpos Frosty: Bringing strong liveness guarantees to the Snow family of consensus protocols. Andrew Lewis-Pye (London School of Economics), Aaron Buchwald (Ava Labs), Stephen Buttolph (Ava Labs), Patrick O'Grady (Ava Labs), Kevin Sekniqi (Ava Labs) Consensus Under Adversary Majority Done Right. Srivatsan Sridhar (Stanford University), Ertem Nusret Tas (Stanford University), Joachim Neu (a16z Crypto Research), Dionysis Zindros (Stanford University & Common Prefix), David Tse (Stanford University) On the (in)security of Proofs-of-Space based Longest-Chain Blockchains. Krzysztof Pietrzak (Institute of Science and Technology Austria), Mirza Ahad Baig (Institute of Science and Technology Austria) Constellation: Peer-to-Peer Overlays for Federated Byzantine Agreement Systems. Giuliano Losa (Stellar Development Foundation), Yifan Mao (Ohio State University), Shaileshh Bojja Venkatakrishnan (Ohio State University), Yunqi Zhang (Ohio State University) Short Paper: A New Way to Achieve Round-Efficient Asynchronous Byzantine Agreement. Simon Holmgaard Kamp (CISPA Helmholtz Center for Information Security) |
| 12:30–14:00 | Lunch Location: Luna Rossa Restaurant |
| 14:00–15:30 |
Session Chair: Srivatsan Sridhar Blink: An Optimal Proof of Proof-of-Work. Lukas Aumayr (University of Edinburgh & Common Prefix), Zeta Avarikioti (TU Wien & Common Prefix), Matteo Maffei (TU Wien), Giulia Scaffino (TU Wien & Common Prefix), Dionysis Zindros (Stanford University & Common Prefix), Reward Schemes and Committee Sizes in Proof of Stake Governance. Georgios Birmpas (University of Liverpool), Philip Lazos (IOG), Evangelos Markakis (Athens University of Economics and Business), Paolo Penna (IOG) Mining Power Destruction Attacks in the Presence of Petty-Compliant Mining Pools. Roozbeh Sarenche (COSIC, KU Leuven), Svetla Nikova (COSIC, KU Leuven), Bart Preneel (COSIC, KU Leuven) A theoretical basis for MEV. Massimo Bartoletti (University of Cagliari), Roberto Zunino (University of Trento) Short Paper: Rewardable Naysayer Proofs. Gennaro Avitabile (IMDEA Software Institute), Luisa Siniscalchi (Technical University of Denmark), Ivan Visconti (La Sapienza University of Rome) |
| 18:30–21:30 | Conference Dinner (sponsored by a16z crypto) Location: Santa Monica Restaurant at Hot Cross Point Santa Monica |
| Thursday, April 17, 2025 | |
| 09:00–10:30 |
Session Chair: Peter Schwabe Verification-efficient Homomorphic Signatures for Verifiable Computation over Data Streams. Gaspard Anthoine (IMDEA Software Institute, Universidad Politécnica de Madrid), Daniele Cozzo (IMDEA Software Institute), Dario Fiore (IMDEA Software Institute) Rational Secret Sharing with Competition. Tiantian Gong (Purdue University), Zeyu Liu (Yale University) The Latency Price of Threshold Cryptosystem in Blockchains. Zhuolun Xiang (Aptos Labs), Sourav Das (University of Illinois Urbana-Champaign), Zekun Li (Aptos Labs), Zhoujun Ma (Aptos Labs), Alexander Spiegelman (Aptos Labs) On Non-Interactive Blind Signatures in the Plain Model using Complexity Leveraging. Kazuki Yamamura (NTT Social Informatics Laboratories), Tetsuya Okuda (NTT Social Informatics Laboratories), Eiichiro Fujisaki (Japan Advanced Institute of Science and Technology) Do Compilers Break Constant-time Guarantees?. Lukas Gerlach (CISPA Helmholtz Center for Information Security), Robert Pietsch (Saarland University), Michael Schwarz (CISPA Helmholtz Center for Information Security) |
| 10:30–11:00 | Break Location: Convention Hall Foyer |
| 11:00–12:00 |
Session Chair: James Chiang PrivGNN: High-Performance Secure Inference for Cryptographic Graph Neural Networks. Fuyi Wang (Deakin University), Zekai Chen (Fuzhou University), Mingyuan Fan (East China Normal University), Jianying Zhou (Singapore University of Technology and Design), Lei Pan (Deakin University), Leo Yu Zhang (Griffith University) Linking Cryptoasset Attribution Tags to Knowledge Graph Entities: An LLM-based Approach. Regnier Avice (University of Technology Sydney), Bernhard Haslhofer (Complexity Science Hub), Zhidong Li (University of Technology Sydney), Jianlong Zhou (University of Technology Sydney) CCBNet: Confidential Collaborative Bayesian Networks Inference. Abele Mălan (Université de Neuchâtel), Thiago Guzella (ASML), Jérémie Decouchant (Delft University of Technology), Lydia Chen (Université de Neuchâtel) |
| 12:00–12:10 | Closing Remarks |
| 12:30–13:30 | Lunch Location: Convention Hall Foyer (bento box pickup) |
| 13:30–17:30 | Free Afternoon with Activities
(sign-up sheets will be available, departure from Mirage Bayside lobby) A: Shigira Beach Snorkling Tour (13:30 and 15:00) B: Shigira Beach Kayak Tour (13:30 and 15:00) C: Underwater Sightseeing Boat Sea Sky Philanthropy (13:30 and 14:30) |
| Friday, April 18, 2025 | |
| 08:30–09:00 | Workshops Registration Location: Convention Hall Foyer Note: the timing of the lunch and breaks is coordinated among all of the workshops, but some workshops might have further split their sessions. See their individual programs for details. Workshop registrants can attend any of the workshops and can switch between them as desired. |
| 09:00–10:30 |
CoDecFin'25: 6th Workshop on Coordination of Decentralized Finance FinTeAchIn'25: 1st Workshop on The Role of Education in FinTech and Innovation Voting'25: 10th Workshop on Advances in Secure Electronic Voting Schemes WTSC'25: 9th Workshop on Trusted Smart Contracts |
| 10:30–11:00 | Break Location: Convention Hall Foyer |
| 11:00–12:30 |
CoDecFin'25: 6th Workshop on Coordination of Decentralized Finance FinTeAchIn'25: 1st Workshop on The Role of Education in FinTech and Innovation Voting'25: 10th Workshop on Advances in Secure Electronic Voting Schemes WTSC'25: 9th Workshop on Trusted Smart Contracts |
| 12:30–13:30 | Lunch Location: Shinkiro Restaurant |
| 13:30–15:00 |
CAAW'25: 4th International Workshop on Cryptoasset Analytics CoDecFin'25: 6th Workshop on Coordination of Decentralized Finance Fairness'25: 1st Workshop on Recent Advances in Fairness in Distributed Applications Voting'25: 10th Workshop on Advances in Secure Electronic Voting Schemes |
| 15:00–15:30 | Break Location: Convention Hall Foyer |
| 15:30–17:00 |
CAAW'25: 4th International Workshop on Cryptoasset Analytics CoDecFin'25: 6th Workshop on Coordination of Decentralized Finance Fairness'25: 1st Workshop on Recent Advances in Fairness in Distributed Applications Voting'25: 10th Workshop on Advances in Secure Electronic Voting Schemes |
| 17:30–21:30 | Farewell Sunset Cruise (departure from Mirage Bayside lobby) |
This conference is organized annually by the International Financial Cryptography Association.