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

Constant Function Market Makers

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

09:30–10:30
Session 1: Keynote
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 2: Consensus
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 3: Cryptographic Protocols I
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 4: Decentralized Finance
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


09:00–10:30
Session 5: Proof of X
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 6: Layer 2
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 7: Attack Techniques, Defenses, and Attack Case Studies
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 8: Cryptographic Protocols II
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 9: Cryptographic Protocols III
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 10: Empirical Studies and more Decentralized Finance
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 11: Game Theory and Protocols
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
Workshops Early Morning Session

CoDecFin'23: 4th Workshop on Coordination of Decentralized Finance
Location: Šolta meeting room

DeFi'23: 3rd Workshop on Decentralized Finance
Location: Hvar meeting room

VOTING'23: 8th Workshop on Advances in Secure Electronic Voting
Location: Vis meeting room

WTSC'23: 7th Workshop on Trusted Smart Contracts
Location: Korčula meeting room


10:30–11:00 Break
Location: hotel bar

11:00–12:30
Workshops Late Morning Session

CoDecFin'23: 4th Workshop on Coordination of Decentralized Finance
Location: Šolta meeting room

DeFi'23: 3rd Workshop on Decentralized Finance
Location: Hvar meeting room

VOTING'23: 8th Workshop on Advances in Secure Electronic Voting
Location: Vis meeting room

WTSC'23: 7th Workshop on Trusted Smart Contracts
Location: Korčula meeting room


12:30–14:00 Lunch
Location: hotel restaurant

14:00–15:30
Workshops Early Afternoon Session

CoDecFin'23: 4th Workshop on Coordination of Decentralized Finance &
WTSC'23: 7th Workshop on Trusted Smart Contracts &
BGIN#8 Block#8 of the Blockchain Governance Initiative Network
Location: Brač conference room

DeFi'23: 3rd Workshop on Decentralized Finance
Location: Hvar meeting room

VOTING'23: 8th Workshop on Advances in Secure Electronic Voting
Location: Vis meeting room


15:30–16:00 Break
Location: hotel bar

16:00–17:30
Workshops Late Afternoon Session

CoDecFin'23: 4th Workshop on Coordination of Decentralized Finance
Location: Šolta meeting room

DeFi'23: 3rd Workshop on Decentralized Finance
Location: Hvar meeting room

VOTING'23: 8th Workshop on Advances in Secure Electronic Voting
Location: Vis meeting room

WTSC'23: 7th Workshop on Trusted Smart Contracts
Location: Korčula meeting room


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.