AFT '23 — Program

All conference events (except for the banquet) will be held at the Friend Center Convocation Room, Room 113.

The conference proceedings and videos from conference talks are now available online. Individual papers (PDF link) and videos (Video link) are linked below.

Monday, October 23

09:30-10:30 Breakfast

10:30-10:40 Welcome Remarks

10:40-12:00 Session 1: Consensus
Chair: Patrick O'Grady
  • PDF linkVideo linkTime is Money: Strategic Timing Games in Proof-of-Stake Protocols Caspar Schwarz-Schilling (Ethereum Foundation), Fahad Saleh (Wake Forest University), Thomas Thiery (Ethereum Foundation), Jennifer Pan (Jump Crypto), Nihar Shah (Jump Crypto), Barnabé Monnot (Ethereum Foundation)
  • PDF linkVideo linkSecurity Analysis of Filecoin’s Expected Consensus in the Byzantine vs Honest Model Xuechao Wang (University of Illinois Urbana-Champaign), Sarah Azouvi (Protocol Labs), Marko Vukolić (Protocol Labs)
  • PDF linkVideo linkDecentralization Cheapens Corruptive Majority Attacks Stephen Newman (Princeton University)
  • PDF linkVideo linkPost-Quantum Single Secret Leader Election (SSLE) From Publicly Re-randomizable Commitments Dan Boneh (Stanford University), Aditi Partap (Stanford University), Lior Rotem (Stanford University)

12:00-13:30 Lunch

13:30-14:30 Session 2: Transaction Ordering I
Chair: Bernardo David
  • PDF linkVideo linkPractical Large-Scale Asynchronous Total-Order Broadcast with Proof of Stake Orestis Alpos (University of Bern), Christian Cachin (University of Bern), Simon Holmgaard Kamp (Aarhus University), Jesper Buus Nielsen (Aarhus University)
  • PDF linkVideo linkTailstorm: A Secure and Fair Blockchain for Cash Transactions Patrik Keller (Universität Innsbruck), Ben Glickenhaus (UMass Amherst), George Bissias (UMass Amherst), Gregory Griffith (Bitcoin Unlimited)
  • PDF linkVideo linkCondorcet Attack Against Fair Transaction Ordering Mohammad Amin Vafadar (University of Alberta, Canada), Majid Khabbazian (University of Alberta, Canada)

14:30-15:00 Break

15:00-15:40 Session 3: Transaction Ordering II
Chair: Tarun Chitra
  • PDF linkFairPoS: Input Fairness in Permissionless Consensus James Hsin-yu Chiang (Aarhus University), Bernardo David (IT University of Copenhagen), Ittay Eyal (Technion), Tiantian Gong (Purdue University)
  • PDF linkVideo linkBuying Time: Latency Racing vs. Bidding for Transaction Ordering Akaki Mamageishvili (Offchain Labs), Mahimna Kelkar (Cornell University), Jan Christoph Schlegel (City, University of London), Edward Felten (Offchain Labs)

15:40-16:00 Break

16:00-17:00 Rump Session/Lightning talks
Chair: Joseph Bonneau
Submit talk proposals here by 15:00 on October 23
  • Byzantine Consensus Under Dynamic Participation with a Well-Behaved Majority Giuliano Losa (Stellar Development Foundation)
  • MEV Makes Everyone Happy under Greedy Sequencing Rule Mengqian Zhang (NYU)
  • Shared Sequencing as a Noisy Contest Christoph Schlegel (City University of London)
  • Two Recent Results on Threshold Signatures Ling Ren (University of Illinois at Urbana-Champaign)
  • Naysayer Proofs Joseph Bonneau (a16z crypto and NYU)
  • Fourier Analysis and MEV: Love at first sight? Tarun Chitra (Gauntlet)
  • PROF: Protected Order Flow for Fair Transaction-Ordering in a Profit-Seeking World Mahimna Kelkar (Cornell Tech)
  • Timelock.zone - a public service for encryption to the future, One-step consensus in weakly Byzantine environments Alex Kampa (Aragon ZK Research)
  • Optimal market making in DeFi without the use of oracles Viraj Nadkarni (Princeton University)

Tuesday, October 24

09:30-10:30 Breakfast

10:40-12:00 Session 4: Auctions
Chair: Chenghan Zhou
  • PDF linkVideo linkDesigning Multidimensional Blockchain Fee Markets Theo Diamandis (MIT), Alex Evans (Bain Capital Crypto), Tarun Chitra (Gauntlet), Guillermo Angeris (Bain Capital Crypto)
  • PDF linkVideo linkThe Centralizing Effects of Private Order Flow on Proposer-Builder Separation Tivas Gupta (MIT), Mallesh Pai (Rice University), Max Resnick (Unaffiliated)
  • PDF linkVideo linkWhen Bidders Are DAOs Maryam Bahrani (a16z crypto), Pranav Garimidi (a16z crypto), Tim Roughgarden (Columbia University & a16z crypto)
  • PDF linkVideo linkCensorship Resistance in On-Chain Auctions Elijah Fox (Duality Labs), Mallesh Pai (Rice University), Max Resnick (Unaffiliated)

12:00-13:30 Lunch

13:30-14:30 Session 5: Layer 2
Chair: Pedro Moreno-Sanchez
  • PDF linkVideo linkNon-Atomic Payment Splitting in Channel Networks Stefan Dziembowski (University of Warsaw), Paweł Kędzior (University of Warsaw)
  • PDF linkVideo linkVector Commitments with Efficient Updates Ertem Nusret Tas (Stanford University), Dan Boneh (Stanford University)
  • PDF linkVideo linkFast and Furious Withdrawals from Optimistic Rollups Mahsa Moosavi (Concordia University & OffchainLabs), Mehdi Salehi (OffchainLabs), Daniel Goldman (OffchainLabs), Jeremy Clark (Concordia University)

14:30-15:00 Break

15:00-16:40 Session 6: Privacy
Chair: Valeria Nikolaenko
  • PDF linkVideo linkSoK: Privacy-Enhancing Technologies in Finance Carsten Baum (Technical University of Denmark), James Hsin-yu Chiang (Aarhus University), Bernardo David (IT University of Copenhagen), Tore Kasper Frederiksen (Zama)
  • PDF linkVideo linkCorrelated-Output-Differential-Privacy and Applications to Dark Pools James Hsin-yu Chiang (Aarhus University), Bernardo David (IT University of Copenhagen), Mariana Gama (imec-COSIC, KU Leuven), Christian Janos Lebeda (IT University of Copenhagen)
  • PDF linkVideo linkPay Less for Your Privacy: Towards Cost-Effective On-Chain Mixers Zhipeng Wang (Imperial College London), Marko Cirkovic (University of Bern), Duc V. Le (Visa Research), William Knottenbelt (Imperial College London), Christian Cachin (University of Bern)
  • PDF linkVideo linkPrivacy-Preserving Transactions With Verifiable Local Differential Privacy Danielle Movsowitz Davidow (Tel-Aviv University), Yacov Manevich (IBM Research, Zürich), Eran Toch (Tel Aviv University)
  • PDF linkVideo linkAnalysis of CryptoNote Transaction Graphs using the Dulmage-Mendelsohn Decomposition Saravanan Vijayakumaran (IIT Bombay)

18:00-21:00 Banquet Dinner (at Palmer House)

Wednesday, October 25

09:30-10:30 Breakfast

10:40-12:00 Session 6: DeFi
Chair: Pramod Viswanath
  • PDF linkVideo linkBatching trades on automated market makers Andrea Canidio (CoW Protocol), Robin Fritsch (ETH Zurich)
  • PDF linkVideo linkF3B: A Low-Overhead Blockchain Architecture with Per-Transaction Front-Running Protection Haoqian Zhang (EPFL), Louis-Henri Merino (EPFL), Ziyan Qu (EPFL), Mahsa Bastankhah (EPFL), Vero Estrada-Galiñanes (EPFL), Bryan Ford (EPFL)
  • PDF linkVideo linkLiquidity Management Attacks on Lending Markets Alireza Arjmand Shakouri (University of Alberta), Majid Khabbazian (University of Alberta)
  • PDF linkVideo linkStrategic Liquidity Provision in Uniswap v3 Zhou Fan (Harvard University), Francisco Marmolejo-Cossío (Harvard University & IOHK), Daniel Moroz (Harvard University & Chainlink Labs), Michael Neuder (Ethereum Foundation), Rithvik Rao (Harvard University), David C. Parkes (Harvard University & DeepMind)

12:00-13:30 Lunch

13:30-14:30 Session 8: Empirical Studies
Chair: Francisco Marmolejo
  • PDF linkVideo linkCorrect Cryptocurrency ASIC Pricing: Are Miners Overpaying? Aviv Yaish (The Hebrew University), Aviv Zohar (The Hebrew University)
  • PDF linkVideo linkUser participation in cryptocurrency derivative markets Daisuke Kawai (Carnegie Mellon University), Nicolas Christin (Carnegie Mellon University), Bryan Routledge (Carnegie Mellon University), Kyle Soska (Ramiel Capital), Ariel Zetlin-Jones (Carnegie Mellon University)
  • PDF linkVideo linkDeFi Lending During The Merge Lioba Heimbach (ETH Zurich), Eric Schertenleib (ETH Zurich), Roger Wattenhofer (ETH Zurich)

14:30-15:00 Break

15:00-16:00 Session 9: Cryptographic Protocols
Chair: Christian Cachin
  • PDF linkVideo linkSTROBE: Streaming Threshold Random Beacons Donald Beaver (Jump Crypto), Konstantinos Chalkias (Mysten Labs), Mahimna Kelkar (Cornell University), Lefteris Kokoris Kogias (Mysten Labs & IST Austria), Kevin Lewi (Meta), Ladi de Naurois, Valeria Nikolaenko (a16z crypto), Arnab Roy (Mysten Labs), Alberto Sonnino (Mysten Labs)
  • PDF linkVideo linkA Security Analysis of the Nova Proof System over a Cycle of Curves Wilson D. Nguyen (Stanford University), Dan Boneh (Stanford University), Srinath Setty (Microsoft Research)
  • PDF linkVideo linkProofs of Proof-of-Stake with Sublinear Complexity Shresth Agrawal (Technical University of Munich), Joachim Neu (Stanford University), Ertem Nusret Tas (Stanford University), Dionysis Zindros (Stanford University)

16:00-17:00 Business meeting