Jason Milionis (Columbia University), Ciamac Moallemi (Columbia University), Tim Roughgarden (Columbia University & a16z Crypto)

Mohak Goyal (Stanford University), Geoffrey Ramseyer (Stanford University), Ashish Goel (Stanford University), David Mazières (Stanford University)

Joseph Poon and Christopher Jeffrey

Yibo Wang (Syracuse University), Kai Li (Syracuse University), Wanning Ding (Syracuse University), Yuzhe Tang (Syracuse University)

Kaihua Qin (Imperial College London), Stefanos Chaliasos (Imperial College London), Liyi Zhou (Imperial College London), Ben Livshits (Imperial College London), Dawn Song (UC Berkeley RDI), Arthur Gervais (University College London)

Caspar Schwarz-Schilling (Ethereum Foundation), Fahad Saleh (Wake Forest University), Thomas Thiery (Ethereum Foundation), Jennifer Pan (Jump Trading), Nihar Shah (Jump Tradin), Barnabe Monnot (Ethereum Foundation)

Francesco D'Amato (Ethereum Foundation), Joachim Neu (Stanford University), Ertem Nusret Tas (Stanford University), David Tse (Stanford University)

Abhiram Kothapalli (Carnegie Mellon University), Srinath Setty (Microsoft Research)

Benedikt Bunz (Stanford University, Espresso Systems), Binyi Chen (Espresso Systems)

Michael Mirkin (Technion), Lulu Zhou (Yale University), Ittay Eyal (Technion), Fan Zhang (Yale University)

Peiyao Sheng (University of Illinois at Urbana-Champaign), Xuechao Wang (University of Illinois Urbana-Champaign), Sreeram Kannan (University of Washington), Kartik Nayak (Duke University), Pramod Viswanath (Princeton University)

Francesco D'Amato (Ethereum Foundation), Luca Zanolini (University of Bern)

Dan Boneh (Stanford University), Aditi Partap (Stanford University), Lior Rotem (Stanford University)

Dankrad Feist (Ethereum Foundation)

Short 5 minute talks by the participants

Yehuda Lindel (Coinbase)

Alin Tomescu (Aptos), Adithya Bhat (Purdue University), Benny Applebaum (Tel Aviv University and VMware), Ittai Abraham (Intel), Guy Golan Gueta (VMware Research), Benny Pinkas (Aptos Labs and Bar Ilan University), Avishay Yanai (VMware Research)

Josh Beal (Yale University), Ben Fisch (Yale University)

Nerla Jean-Louis (University of Illinois Urbana Champaign), Yunqi Li (University of Illinois Urbana Champaign), Yan Ji (Cornell University), Harjasleen Malvai (University of Illinois Urbana Champaign), Thomas Yurek (University of Illinois Urbana Champaign), Sylvain Bellemare (Cornell University), Andrew Miller (University of Illinois Urbana Champaign)

Yannis Smaragdakis (Dedaub and University of Athens), Neville Grech (Dedaub and University of Malta), Sifis Lagouvardos (Dedaub and University of Athens), Konstantinos Triantafyllou (Dedaub and University of Athens), Ilias Tsatiris (Dedaub), Yannis Bollanos (Dedaub), Tony Valentine (Dedaub and University of Malta)

Alessandro Coglio (Aleo, Kestrel), Eric McCarthy (Aleo, Kestrel), Eric Smith (Kestrel), Collin Chin (Aleo), Pranav Gaddamadugu (Aleo), Michel Dellepere (Aleo)

Austin Adams (Uniswap labs), Gordon Liao (Circle), Mary-Catherine Lader (Uniswap Labs), David Puth (Circle), Xin Wan (Uniswap Labs)

Noam Nisan (Starkware & Hebrew U.)

Dan Robinson (Paradigm)

Stefanos Chaliasos (Imperial College London), Marcos Antonios Charalambous (Meta), Liyi Zhou (Imperial College London), Rafaila Galanopoulou (University of Athens), Arthur Gervais (University College London), Dimitris Mitropoulos (University of Athens), Ben Livshits (Imperial College London)

Kushal Babel (Cornell University and Cornell Tech), Mojan Javaheripi (University of California San Diego), Mahimna Kelkar (Cornell Tech), Yan Ji (Cornell Tech), Farinaz Koushanfar (University of California San Diego), Ari Juels (Cornell Tech)

Itay Tsabary (Technion), Alex Manuskin (Technion), Roi Bar-Zur (Technion), Ittay Eyal (Technion)

Charalampos Papamanthou (Lagrange Labs and Yale University), Ismael Hishon-Rezaizadeh (Lagrange Labs), Rahul Ghangas (Lagrange Labs), Ugur Sen (Lagrange Labs)

Sourav Das (University of Illinois at Urbana-Champaign), Philippe Camacho (Espresso Systems), Zhuolun Xiang (Aptos), Javier Nieto (University of Illinois at Urbana-Champaign), Benedikt Bunz (Espresso Systems), Ling Ren (University of Illinois at Urbana-Champaign)

Xuechao Wang (University of Illinois Urbana-Champaign), Sarah Azouvi, Marko Vukolić (Protocol Labs)

Lukas Aumayr (TU Wien), Sri AravindaKrishnan Thyagarajan (NTT Research), Giulio Malavolta (Max Planck Institute), Pedro Moreno-Sanchez (IMDEA), Matteo Maffei (TU Wien)

Lukas Aumayr (TU Wien), Kasra Abbaszadeh (University of Maryland), Matteo Maffei (TU Wien)


Monday, Aug. 28, 2023
9:00am	Welcome remarks SBC Program Chairs
Session 1: Automated Market Making session chair: Dan Robinson
9:10am	Automated Market Making and Arbitrage Profits in the Presence of Fees [video] Jason Milionis (Columbia University), Ciamac Moallemi (Columbia University), Tim Roughgarden (Columbia University & a16z Crypto)
9:40am	Finding the Right Curve: Optimal Design of Constant Function Market Makers [video] Mohak Goyal (Stanford University), Geoffrey Ramseyer (Stanford University), Ashish Goel (Stanford University), David Mazières (Stanford University)
10:10am	WARP: An Efficient Decentralized Exchange Algorithm [video] Joseph Poon and Christopher Jeffrey
10:40am	Break
Session 2: Mempool attacks and defenses session chair: Joachim Neu
11:10am	WIP: Towards the Comprehensive Understanding of Ethereum Mempool DoS Security [video] Yibo Wang (Syracuse University), Kai Li (Syracuse University), Wanning Ding (Syracuse University), Yuzhe Tang (Syracuse University)
11:40am	The Blockchain Imitation Game [video] Kaihua Qin (Imperial College London), Stefanos Chaliasos (Imperial College London), Liyi Zhou (Imperial College London), Ben Livshits (Imperial College London), Dawn Song (UC Berkeley RDI), Arthur Gervais (University College London)
12:10pm	Lunch
Session 3: Proof of stake consensus session chair: Dahlia Malkhi
1:30pm	Time is Money: Strategic Timing Games in Proof-of-Stake Protocols [video] Caspar Schwarz-Schilling (Ethereum Foundation), Fahad Saleh (Wake Forest University), Thomas Thiery (Ethereum Foundation), Jennifer Pan (Jump Trading), Nihar Shah (Jump Tradin), Barnabe Monnot (Ethereum Foundation)
2:00pm	Goldfish: No More Attacks on Proof-of-Stake Ethereum [video] Francesco D'Amato (Ethereum Foundation), Joachim Neu (Stanford University), Ertem Nusret Tas (Stanford University), David Tse (Stanford University)
2:30pm	Designing a DV Protocol for Decentralized PoS Consensus [video] Oisin Kyne (Obol)
3:00pm	Break
Session 4: Efficient SNARKs From Folding Schemes session chair: Dan Boneh
3:30pm	HyperNova: Recursive arguments for customizable constraint systems [video] Abhiram Kothapalli (Carnegie Mellon University), Srinath Setty (Microsoft Research)
4:00pm	Protostar: Generic Efficient Accumulation/Folding for Special Sound Protocols [video] Benedikt Bunz (Stanford University, Espresso Systems), Binyi Chen (Espresso Systems)
4:30pm	Invited: future directions in STARKs [video] Eli Ben-Sasson
5:00pm	End of day one
5:20pm	Reception
7:00pm	Evening meetup at HanaHaus in Palo Alto. Hosted by Delendum. Please register.
7:00pm	Evening meetup at Park James Hotel. Please register for the event.

Tuesday, Aug. 29, 2023
Session 5: Consensus session chair: David Tse
9:00am	Sprints: Intermittent Blockchain Mining [video] Michael Mirkin (Technion), Lulu Zhou (Yale University), Ittay Eyal (Technion), Fan Zhang (Yale University)
9:30am	TrustBoost: Boosting Trust among Interoperable Blockchains [video] Peiyao Sheng (University of Illinois at Urbana-Champaign), Xuechao Wang (University of Illinois Urbana-Champaign), Sreeram Kannan (University of Washington), Kartik Nayak (Duke University), Pramod Viswanath (Princeton University)
10:00am	Recent Latest Message Driven GHOST: Balancing Dynamic Availability With Asynchrony Resilience [video] Francesco D'Amato (Ethereum Foundation), Luca Zanolini (University of Bern)
10:30am	Break
Session 6: New Cryptographic primitives session chair: Ari Juels
11:00am	Post-Quantum Single Secret Leader Election (SSLE) From Publicly Re-randomizable Commitments [video] Dan Boneh (Stanford University), Aditi Partap (Stanford University), Lior Rotem (Stanford University)
11:30am	Invited: Data Availability Sampling: Theory and Practice in 2023 [video] Dankrad Feist (Ethereum Foundation)
Session 7: Lightning talks session chair: Ben Fisch
12:00pm	Lightning talks [video] Short 5 minute talks by the participants
12:30pm	Lunch
Session 8: Privacy session chair: Mahdi Zamani
2:00pm	Building MPC Wallets at Coinbase [video] Yehuda Lindel (Coinbase)
2:30pm	UTT: Decentralized Ecash with Accountable Privacy [video] Alin Tomescu (Aptos), Adithya Bhat (Purdue University), Benny Applebaum (Tel Aviv University and VMware), Ittai Abraham (Intel), Guy Golan Gueta (VMware Research), Benny Pinkas (Aptos Labs and Bar Ilan University), Avishay Yanai (VMware Research)
3:00pm	Derecho: Privacy Pools with Proof-Carrying Disclosures [video] Josh Beal (Yale University), Ben Fisch (Yale University)
3:30pm	SGXonerated: Finding (and Partially Fixing) Privacy Flaws in TEE-based Smart Contract Platforms Without Breaking the TEE [video] Nerla Jean-Louis (University of Illinois Urbana Champaign), Yunqi Li (University of Illinois Urbana Champaign), Yan Ji (Cornell University), Harjasleen Malvai (University of Illinois Urbana Champaign), Thomas Yurek (University of Illinois Urbana Champaign), Sylvain Bellemare (Cornell University), Andrew Miller (University of Illinois Urbana Champaign)
4:00pm	Break
Session 9: Code Analysis Tools session chair: Arthur Gervais
4:30pm	Program Analysis for High-Value Smart Contract Vulnerabilities: Techniques and Insights [video] Yannis Smaragdakis (Dedaub and University of Athens), Neville Grech (Dedaub and University of Malta), Sifis Lagouvardos (Dedaub and University of Athens), Konstantinos Triantafyllou (Dedaub and University of Athens), Ilias Tsatiris (Dedaub), Yannis Bollanos (Dedaub), Tony Valentine (Dedaub and University of Malta)
5:00pm	WIP: Compositional Formal Verification of Zero-Knowledge Circuits [video] Alessandro Coglio (Aleo, Kestrel), Eric McCarthy (Aleo, Kestrel), Eric Smith (Kestrel), Collin Chin (Aleo), Pranav Gaddamadugu (Aleo), Michel Dellepere (Aleo)
5:30pm	End of day two
6:00pm	Evening meetup hosted by BitGo. Please register.

Wednesday, Aug. 30, 2023
Session 10: Cryptoeconomics session chair: Ertem Nusret Tas
9:00am	On-chain Foreign Exchange and Cross-border payments [video] Austin Adams (Uniswap labs), Gordon Liao (Circle), Mary-Catherine Lader (Uniswap Labs), David Puth (Circle), Xin Wan (Uniswap Labs)
9:30am	Serial Monopoly on Blockchains [video] Noam Nisan (Starkware & Hebrew U.)
10:00am	Break
Session 11: Smart Contract Security session chair: Ling Ren
10:30am	Invited: Uniswap V4 and Future Directions for DEX Research [video] Dan Robinson (Paradigm)
11:00am	Smart Contract and DeFi Security: Insights from Tool Evaluations and Practitioner Surveys [video] Stefanos Chaliasos (Imperial College London), Marcos Antonios Charalambous (Meta), Liyi Zhou (Imperial College London), Rafaila Galanopoulou (University of Athens), Arthur Gervais (University College London), Dimitris Mitropoulos (University of Athens), Ben Livshits (Imperial College London)
11:30am	Lanturn: Measuring Economic Security of Smart Contracts Through Adaptive Learning [video] Kushal Babel (Cornell University and Cornell Tech), Mojan Javaheripi (University of California San Diego), Mahimna Kelkar (Cornell Tech), Yan Ji (Cornell Tech), Farinaz Koushanfar (University of California San Diego), Ari Juels (Cornell Tech)
12:00pm	LedgerHedger: Gas Reservation for Smart-Contract Security [video] Itay Tsabary (Technion), Alex Manuskin (Technion), Roi Bar-Zur (Technion), Ittay Eyal (Technion)
12:30pm	Lunch
Session 12: New Cryptographic Primitives II session chair: Ari Juels
2:00pm	WIP: Batch Merkle Proofs via Recursive SNARKs with Applications to Updatable Zero-Knowledge Proofs [video] Charalampos Papamanthou (Lagrange Labs and Yale University), Ismael Hishon-Rezaizadeh (Lagrange Labs), Rahul Ghangas (Lagrange Labs), Ugur Sen (Lagrange Labs)
2:30pm	Threshold Signatures from Inner Product Argument: Succinct, Weighted, and Multi-threshold [video] Sourav Das (University of Illinois at Urbana-Champaign), Philippe Camacho (Espresso Systems), Zhuolun Xiang (Aptos), Javier Nieto (University of Illinois at Urbana-Champaign), Benedikt Bunz (Espresso Systems), Ling Ren (University of Illinois at Urbana-Champaign)
3:00pm	Security Analysis of Filecoin’s Expected Consensus in the Byzantine vs Honest Model [video] Xuechao Wang (University of Illinois Urbana-Champaign), Sarah Azouvi, Marko Vukolić (Protocol Labs)
3:30pm	Break
Session 13: Payment channels session chair: Dawn Song
4:00pm	Sleepy Channels: Bitcoin-Compatible Bi-directional Payment Channels without Watchtowers [video] Lukas Aumayr (TU Wien), Sri AravindaKrishnan Thyagarajan (NTT Research), Giulio Malavolta (Max Planck Institute), Pedro Moreno-Sanchez (IMDEA), Matteo Maffei (TU Wien)
4:30pm	Thora: Atomic and Privacy-Preserving Multi-Channel Updates [video] Lukas Aumayr (TU Wien), Kasra Abbaszadeh (University of Maryland), Matteo Maffei (TU Wien)
5:00pm	Conference ends ... see you next year
5:30pm	Closing party hosted at Nola in down town Palo Alto. Hosted by Chainlink. Please register here.