Program
Financial Cryptography and Data Security 2023
Twenty-Seventh International Conference
May 1–5, 2023
Bluesun Hotel Elaphusa
Bol, Brač, Croatia
|
All events take place in the Brač conference room unless otherwise
indicated. | |
| Sunday, April 30, 2023 | |
| 13:00–16:00 | Tutorial Location: Hvar meeting room |
| 16:30–18:30 | Registration Reception Location: Pool deck |
| Monday, May 1, 2023 | |
| 08:30–09:15 | Registration Location: Brač foyer |
| 09:15–09:30 | Opening Remarks |
|
Session Chair: Foteini Baldimtsi  George Danezis Professor of Security and Privacy Engineering, University College London Co-founder & Chief Scientist, Mysten Labs Combining broadcast and consensus in a production blockchain system. Traditional blockchains use consensus to sequence and execute transactions. More recent proposals use broadcast, a weaker, more scalable and lower latency primitive. However, the latter is limited in terms of expressiveness, and system maintenance operations require or at least are simpler given the stronger guarantees provided by consensus. In this talk I will present both paradigms, and describe how we combine them in a single system to get both low-latency for important categories of transactions, as well as the full expressiveness of consensus in general. Safety and liveness become tricky, since the two paradigms have to be combined in a consistent way, and further the broadcast based paths need to provide robust guarantees upon reconfiguration, which relies on consensus. The schemes presented for the first time form the basis of a production system, and I will discuss challenges of defining protocols for production. George Danezis has conducted research on Privacy Enhancing Technologies (PET) and Decentralised / Distributed Systems Security since 2000. His current research interests focus around secure communications, high-integrity systems to support privacy, blockchains and decentralisation, as well as the application of machine learning techniques to security problems. He has published over 100 peer-reviewed scientific papers on these topics in international conferences and journals. In the past, he co-founded chainspace.io in 2018, and had his team acquired in 2019 by Facebook Novi to help design the Diem payment system. In 2021 he departed and co-founded MystenLabs, to commercialise his research as part of the Sui smart contracts platform. He has previously been a Researcher for Microsoft Research, Cambridge; a visiting fellow at K.U.Leuven (Belgium); and a research associate at the University of Cambridge (UK), where he also completed his doctoral dissertation under the supervision of Prof. R.J. Anderson. |
|
| 10:30–11:00 | Break |
| 11:00–12:30 |
Session Chair: Alberto Sonnino Executing and Proving over Dirty Ledgers. Christos Stefo (IST Austria & NTUA); Zhuolun Xiang (Aptos); Lefteris Kokoris-Kogias (IST Austria & Mysten Labs) Byzantine Generals in the Permissionless Setting. Andrew Lewis-Pye (LSE); Tim Roughgarden (Columbia. a16z) The Unique Chain Rule and its Applications. Adithya Bhat, Akhil Bandarupalli, and Saurabh Bagchi (Purdue University); Aniket Kate (Purdue University and Supra Research); Michael K. Reiter (Duke University) Player-Replaceability and Forensic Support are Two Sides of the Same (Crypto) Coin. Peiyao Sheng and Gerui Wang (University of Illinois at Urbana Champaign); Kartik Nayak (Duke University); Sreeram Kannan (University of Washington); Pramod Viswanath (Princeton University) |
| 12:30–14:00 | Lunch Location: hotel restaurant |
| 14:00–15:30 |
Session Chair: Joe Bonneau Synchronous Perfectly Secure Message Transmission with Optimal Asynchronous Fallback Guarantees. Giovanni Deligios (ETH Zurich); Chen-Da Liu-Zhang (NTT Research) Optimally-Fair Exchange of Secrets via Delay Encryption and Commutative Blinding. Ivo Maffei and Andrew W. Roscoe (University of Oxford) Witness-Authenticated Key Exchange, Revisited. Matteo Campanelli (Protocol Labs); Rosario Gennaro (Protocol Labs and City University of New York); Kelsey Melissaris (unaffiliated); Luca Nizzardo (Protocol Labs) On the Correlation Complexity of MPC with Cheater Identification. Nicholas Brandt (ETH Zurich); Sven Maier (CNRS, IRIF, Université de Paris); Tobias Müller (unaffiliated); Jörn Müller-Quade (Karlsruhe Institute of Technology) |
| 15:30–16:00 | Break |
| 16:00–17:20 |
Session Chair: Andrew Miller R2: Boosting Liquidity in Payment Channel Networks with Online Admission Control. Combining On-chain Recharging with Off-chain Rebalancing,Mahsa Bastankhah (Sharif University of Technology); Krishnendu Chatterjee (Institute of Science and Technology Austria); Mohammad Ali Maddah-Ali (University of Minnesota Twin Cities); Stefan Schmid (TU Berlin); Jakub Svoboda and Michelle Yeo (Institute of Science and Technology Austria) Complexity - Approximation Trade-offs in Exchange Mechanisms: AMMs vs. LOBs. Jason Milionis and Ciamac C. Moallemi (Columbia University); Tim Roughgarden (Columbia University/a16z Crypto) Mitigating Decentralized Finance Liquidations with Reversible Call Options. Kaihua Qin (Imperial College London); Jens Ernstberger (Technical University of Munich); Liyi Zhou (Imperial College London); Philipp Jovanovic (University College London); Arthur Gervais (University College London & UC Berkeley) Short paper: DeFi Deception—Uncovering the prevalence of rugpulls in cryptocurrency projects. Sharad Agarwal (University College London); Gilberto Atondo Siu (University of Cambridge); Marilyne Ordekian (University College London); Alice Hutchings (University of Cambridge); Enrico Mariconti and Marie Vasek (University College London) |
| 18:30–20:30 | Welcome Reception and Poster Session (Sponsored by Croatian National Tourist Board) Location: Plaza Borak Designated Verifier Linkable Ring Signatures for SmartGrid Blockchains. Danai Balla, Pourandokht Behrouz, Alireza Khaksari, Orestis Konstantinidis, Aris Pagourtzis and Marianna Spyrakou (NTUA, Greece) A Refined Classification of Malicious Smart Contract. Taichi Igarashi and Kanta Matsuura (University of Tokyo) |
| Tuesday, May 2, 2023 | |
|
Session Chair: Andrew Lewis-Pye SNACKs for Proof-of-Space Blockchains. Hamza Abusalah (IMDEA Software Institute) Proof of Necessary Work: Succinct State Verification with Fairness Guarantees. Assimakis Kattis (New York University); Joseph Bonneau (New York University and a16z crypto research) Proof of Availability & Retrieval in a Modular Blockchain Architecture. Shir Cohen (Technion); Guy Goren (Protocol Labs); Lefteris Kokoris-Kogias (IST Austria and Mysten labs); Alberto Sonnino (Mysten Labs); Alexander Spiegelman (Aptos Labs) Limits on revocable proof systems, with implications for stateless blockchains. Miranda Christ (Columbia University and a16z Crypto Research); Joseph Bonneau (New York University and a16z Crypto Research) |
|
| 10:30–11:00 | Break |
| 11:00–12:30 |
Session Chair: Pedro Moreno-Sanchez State Machines across Isomorphic Layer 2 Ledgers. Maxim Jourenko and Mario Larangeira (Tokyo Institute of Technology, IOG) Get Me out of This Payment! Bailout: An HTLC Re-routing Protocol. Oguzhan Ersoy (Radboud University and TU Delft); Pedro Moreno-Sanchez (IMDEA Software Institute); Stefanie Roos (TU Delft) Extras and Premiums: Local PCN Routing with Redundancy and Fees. Shen Yu (TU Delft); Oguzhan Ersoy (Radboud University and TU Delft); Stefanie Roos (TU Delft) An Efficient Algorithm for Optimal Routing Through Constant Function Market Makers. Theo Diamandis (Massachusetts Institute of Technology); Max Resnick (Risk Harbor); Tarun Chitra (Gauntlet Networks); Guillermo Angeris (Bain Capital Crypto) |
| 12:30–14:00 | Lunch Location: hotel restaurant |
| 14:30–18:30 | Excursion (sponsored by a16z crypto research) (departure from Bol port, about 15–20 minutes walking distance from the hotel) Boat trip to Jelsa and Vrboska on the island of Hvar. |
| 21:00–22:00 | General Meeting Location: Brač conference room |
| 22:00–00:00 | Rump Session Location: Brač conference room Session Chair: Don Beaver To submit a presentation, send a title and abstract to fcrump2023@gmail.com by the Tuesday morning coffee break, and/or speak with Don in person. |
| Wednesday, May 3, 2023 | |
| 09:00–10:30 |
Session Chair: Zeta Avarikioti Leveraging the Verifier's Dilemma to Double Spend in Bitcoin. Tong Cao (Kunyao Academy); Jeremie Decouchant (Delft University of Technology); Jiangshan Yu (Monash University) On the Sustainability of Bitcoin Partitioning Attacks. Jaehyun Ha and Seungjin Baek (KAIST); Muoi Tran (ETH Zurich); Min Suk Kang (KAIST) Demystifying Web3 Centralization: The Case of Off-Chain NFT Hijacking. Stöger Felix (ETH Zürich); Anxin Zhou (City University of Hong Kong); Huayi Duan and Adrian Perrig (ETH Zürich) Defending Against Free-Riders Attacks in Distributed Generative Adversarial Networks. Zilong ZHAO, Jiyue HUANG, Lydia Y. CHEN, and Stefanie Roos (TU Delft) |
| 10:30–11:00 | Break |
| 11:00–12:30 |
Session Chair: Chrysa Stathakopoulou TALUS: Reinforcing TEE Confidentiality with Cryptographic Coprocessors. Dhiman Chakraborty, Michael Schwarz, and Sven Bugiel (CISPA Helmholtz Center for Information Security) Practical Construction for Secure Trick-Taking Games Even With Cards Set Aside. Rohann Bella and Xavier Bultel (INSA Centre Val de Loire, Laboratoire d'informatique fondamental d'Orléans, France); Céline Chevalier (CRED, Université Paris-Panthéon-Assas and DIENS, École normale supérieure, PSL Université, CNRS, INRIA, Paris, France); Pascal Lafourcade (Université Clermont-Auvergne, CNRS, Clermont-Auvergne-INP, LIMOS, Clermont-Ferrand, France); Charles Olivier-Anclin (be ys Pay and Université Clermont-Auvergne, CNRS, Clermont-Auvergne-INP, LIMOS, Clermont-Ferrand, France) Signature for Objects: Formalizing How to Authenticate Physical Data and More. Ryuya Hayashi (The University of Tokyo, National Institute of Advanced Industrial Science and Technology); Taiki Asano (GMO Cybersecurity by Ierae, Inc.); Junichiro Hayata (Deloitte Tohmatsu Cyber LLC); Takahiro Matsuda and Shota Yamada (National Institute of Advanced Industrial Science and Technology); Shuichi Katsumata (PQShield Ltd, National Institute of Advanced Industrial Science and Technology); Yusuke Sakai, Tadanori Teruya, Jacob Schuldt, Nuttapong Attrapadung, and Goichiro Hanaoka (National Institute of Advanced Industrial Science and Technology); Kanta Matsuura (The University of Tokyo); Tsutomu Matsumoto (National Institute of Advanced Industrial Science and Technology, Yokohama National University) The Superlinearity Problem in Post-Quantum Blockchains. Nicholas Spooner (University of Warwick); Sunoo Park (Columbia University) |
| 12:30–14:00 | Lunch Location: hotel restaurant |
| 14:00–15:50 |
Session Chair: Philipp Jovanovic Fair Delivery of Decentralised Randomness Beacon. Runchao Han (Monash University and CSIRO's Data61); Jiangshan Yu (Monash University) Bicorn: An optimistically efficient distributed randomness beacon. Kevin Choi and Arasu Arun (New York University); Nirvan Tyagi (Cornell University); Joseph Bonneau (New York University and a16z Crypto Research) McFly: Verifiable Encryption to the Future Made Practical. Nico Döttling and Lucjan Hanzlik (CISPA Helmholtz Center for Information Security); Bernardo Magri (The University of Manchester); Stella Wohnig (CISPA Helmholtz Center for Information Security) Eagle: Efficient Privacy Preserving Smart Contracts. Carsten Baum and James Chiang (Technical University of Denmark); Bernardo David (IT University of Copenhagen); Tore Kasper Frederiksen (Alexandra Institute, Denmark) Provably Avoiding Geographic Regions for Tor's Onion Services. Arushi Arora and Raj Karra (Purdue University); Dave Levin (University of Maryland); Christina Garman (Purdue University) |
| 18:30–21:30 | Conference Dinner (sponsored by Sui Foundation) Location: Nono Ban (departure from hotel lobby) |
| Thursday, May 4, 2023 | |
| 09:00–10:20 |
Session Chair: Shin'ichiro Matsuo Dissecting Bitcoin and Ethereum Transactions: On the Lack of Transaction Contention and Prioritization Transparency in Blockchains. Johnnatan Messias and Vabuk Pahari (MPI-SWS); Balakrishnan Chandrasekaran (Vrije Universiteit Amsterdam); Krishna P. Gummadi (MPI-SWS); Patrick Loiseau (Inria, FairPlay team) Forsage: Anatomy of a Smart-Contract Pyramid Scheme. Tyler Kell (Initiative for Cryptocurrencies and Contracts (IC3)); Haaroon Yousaf (Pometry, Initiative for Cryptocurrencies and Contracts (IC3)); Sarah Allen (Initiative for Cryptocurrencies and Contracts (IC3)); Sarah Meiklejohn (UCL, Initiative for Cryptocurrencies and Contracts (IC3)); Ari Juels (Cornell Tech) Understanding Polkadot Through Graph Analysis: Transaction Model, Network Properties, and Insights. Hanaa Abbas, Maurantonio Caprolu, and Roberto Di Pietro (Hamad Bin Khalifa University) Short Paper: Estimating Patch Propagation Times across Blockchain Forks. Sebastien Andreina (NEC Labs Europe); Lorenzo Alluminio (Clearmatics); Giorgia Azzurra Marson (NEC Labs Europe); Ghassan Karame (Ruhr University Bochum) |
| 10:20–10:50 | Break |
| 10:50–12:20 |
Session Chair: Rainer Böhme DeFi and NFTs Hinder Blockchain Scalability. Lioba Heimbach (ETH Zürich); Quentin Kniep, Yann Vonlanthen, and Roger Wattenhofer (ETH Zurich) Cryptoeconomic Security for Data Availability Committees. Dan Boneh and Ertem Nusret Tas (Stanford University) Kadabra: Adapting Kademlia for the Decentralized Web. Yunqi Zhang and Shaileshh Bojja Venkatakrishnan (The Ohio State University) Optimality Despite Chaos in Fee Markets. Daniel Reijsbergen (Singapore University of Technology and Design); Stefanos Leonardos (King's College London); Barnabe Monnot (Ethereum Foundation, Berlin, Germany); Georgios Piliouras (Singapore University of Technology and Design) |
| 12:20–12:30 | Closing Remarks |
| 12:30–14:00 | Lunch Location: hotel restaurant |
| 14:00–18:00 | Free Afternoon with Activities (sponsored by Casper Association)
(sign-up sheets will be available) A: Vidova gora and olive oil museum B: Blaca hermitage C: Bol sightseeing and wine tasting |
| 18:30–20:30 | Workshops Reception Location: Pool deck |
| Friday, May 5, 2023 | |
| 08:30–09:00 | Workshops Registration Location: hotel bar Note: the timing of the lunch and breaks is coordinated among all of the workshops, but some workshops might start earlier in the morning or end later in the afternoon. 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'23: 4th Workshop on Coordination of Decentralized Finance DeFi'23: 3rd Workshop on Decentralized Finance VOTING'23: 8th Workshop on Advances in Secure Electronic Voting WTSC'23: 7th Workshop on Trusted Smart Contracts |
| 10:30–11:00 | Break Location: hotel bar |
| 11:00–12:30 |
CoDecFin'23: 4th Workshop on Coordination of Decentralized Finance DeFi'23: 3rd Workshop on Decentralized Finance VOTING'23: 8th Workshop on Advances in Secure Electronic Voting WTSC'23: 7th Workshop on Trusted Smart Contracts |
| 12:30–14:00 | Lunch Location: hotel restaurant |
| 14:00–15:30 |
CoDecFin'23: 4th Workshop on Coordination of Decentralized Finance & DeFi'23: 3rd Workshop on Decentralized Finance VOTING'23: 8th Workshop on Advances in Secure Electronic Voting |
| 15:30–16:00 | Break Location: hotel bar |
| 16:00–17:30 |
CoDecFin'23: 4th Workshop on Coordination of Decentralized Finance DeFi'23: 3rd Workshop on Decentralized Finance VOTING'23: 8th Workshop on Advances in Secure Electronic Voting WTSC'23: 7th Workshop on Trusted Smart Contracts |
| 18:00–20:00 | Sunset Farewell Party (sponsored by Chainlink Labs) Location: Zlatni Rat Beach (about 10–15 minutes walking distance from the hotel) |
This conference is organized annually by the International Financial Cryptography Association.