April 16-17, 2024

Simmons Auditorium, Tepper School of Business
Carnegie Mellon University

Now in its second year, Carnegie Mellon University's Secure Blockchain Summit will convene leading researchers and experts from across academia and industry to discuss the future of blockchain research, technology, and applications, focusing on a variety of topics, including crypto-economics, applied cryptography, programming languages, security and privacy, policy and usability, ethics, equity, and more.

Secure Blockchain Initiative logo next to CyLab logo

 About    |    Schedule    |    Speakers    |    Organizers    |    Sponsors

 

About

Despite advances, many research questions still need to be answered to ensure blockchain protocols and applications are ready for widespread use. As the industry continues to see more consumer applications, such as decentralized finance (DeFi), securing the fundamental research elements of the technology, especially from a security, privacy, ethics, and societal impact perspective, is of utmost importance.

Now in its second year, Carnegie Mellon University’s Secure Blockchain Summit will convene leading researchers and experts from across academia and industry to discuss the future of blockchain research, technology, and applications, focusing on a variety of topics, including crypto-economics, applied cryptography, programming languages, security and privacy, policy and usability, ethics, and equity.

Schedule (subject to change)

Please note: this is an invitation-only event, but we do have a waitlist available for anyone who is interested in attending. Please fill out this form if you are interested in attending. We will contact you to confirm your attendance when we clear the waitlist.

See detailed information about this year's speakers and their presentation abstracts.

Day 1: April 16th, 2024

  • 8:00 - 9:00 AM - Breakfast and registration
  • 9:00 - 9:15 AM - Opening remarks

Session I: Cryptoeconomics

Moderator: Ariel Zetlin-Jones

  • 09:15-09:35 AM:  Matt Weinberg - Revisiting the Primitives of Transaction Fee Mechanism Design
  • 09:35-09:55 AM:  Hao Chung - Collusion-Resilience in Transaction Fee Mechanism Design
  • 09:55-10:15 AM:  Ke Wu - Maximizing Miner Revenue in Transaction Fee Mechanism Design
  • 10:15-10:35 AM:  BREAK
  • 10:35-10:55 AM:  Jason Milionis - LVR (loss-versus-rebalancing) and the economics of decentralized exchanges
  • 10:55-11:15 AM:  Abdoulaye Ndiaye - Why Bitcoin and Ethereum Differ in Transaction Costs: A Theory of Blockchain Fee Policies
  • 11:15-11:35 AM:  Joseph Abadi - Token-Based Platform Governance

Lunch

  • 11:35 AM - 1:15 PM

Session II: Applied Cryptography

Moderator: Ke Wu

  • 1:15-1:35 PM:  Abhiram Kothapalli - HyperNova: Towards Practical Zero-Knowledge Virtual Machines
  • 1:35-1:55 PM:  Srivatsan Sridhar - Optimal Flexible Consensus and its Application to Ethereum
  • 1:55-2:15 PM:  Kartik Nayak - Sailfish: Towards Improving Latency of DAG-based BFT
  • 2:15-2:35 PM:  BREAK
  • 2:35-2:55 PM:  Sourav Das - Distributed Randomness using Weighted VRFs
  • 2:55-3:15 PM:  Mingxun Zhou - Proof of Compliance for Anonymous, Unlinkable Messages
  • 3:15-3:20 PM:  Closing remarks (Elaine Shi)

Evening Events:

Day 2: April 17th, 2024

  • 8:00-9:00 AM:  Breakfast and registration
  • 9:00-9:05 AM:  Welcome (Giulia Fanti)

Session III: Keynote Presentation

Moderator: Giulia Fanti

  • 09:05-09:50 AM:  Carole House - Identity, Security, and Accountability: Critical Evolutions Needed for Trustworthy Blockchain Ecosystems
  • 09:50-10:15 AM:  BREAK

Session IV: Lightning Talks

Moderator: Michael Lisanti

  • 10:15-10:25 AM:  Hanan Hibsi - Investigating Common Security Vulnerabilities in Blockchain Software
  • 10:25-10:35 AM:  Osman Yagan - Analysis and Optimization of Resilience in Blockchain Peer-to-Peer Networks
  • 10:35-10:45 AM:  Osman Yagan - Analysis and Optimization of Resilience in Ripple Transaction Network
  • 10:45-10:55 AM:  Sauvik Das - Modeling Barriers to Self-Custody for Cryptocurrency Novices
  • 10:55-11:05 AM:  Giulia Fanti - How AMM Reward Functions Can (Dis-)Incentivize Strategic Liquidity
  • 11:05-11:15 AM:  Fraser Brown - Modeling and Reasoning about Secure MPC Deployment
  • 11:15-11:25 AM:  Bryan Routledge - Automated Exchange Economies
  • 11:25-11:35 AM:  Harish Karthikeya - PriDe CT: Towards Public Consensus, Private Transactions, and Forward Secrecy in Decentralized Payments
  • 11:35-11:45 AM:  Paul Sengh - Modeling the Economic Incentives of Ethereum Staking
  • 11:45-11:55 PM:  Abhi Srivastava - Blockchain Interoperability Challenge and Cross-chain Bridges
  • 11:55-12:05 PM:  Ben Taylor - The Digital Asset Accounting Coalition

Lunch

  • 12:05 PM - 1:45 PM

Session V: Policy Panel

Moderator: Ariel Zetlin-Jones 

  • 1:45-2:35 PM:  Featuring - Peter Van Valkenburgh, Thomas Ruchti, and Chester Spatt
  • 2:35-2:55 PM:  BREAK

Session VI: Formal Methods

Moderator: Ariel Zetlin-Jones

  • 2:55-3:15 PM:  Ethan Cechetti - SCIF: Securing Smart Contracts with Explicit Trust
  • 3:15-3:35 PM:  Bolton Bailey - Formal Verification of SNARK soundness
  • 3:35-3:55 PM:  Kostas Ferles - Practical Security Analysis of Zero-Knowledge Proof Circuits
  • 3:55-4:00 PM:  Closing remarks (Ariel Zetlin-Jones)

Evening Events:

Speakers

See detailed information about this year's speakers and their presentation abstracts.

Joseph Abadi

Joseph Abadi

Economist
Federal Reserve Bank of Philadelphia

View bio

Bolton Bailey

Bolton Bailey

Ph.D. Candidate
University of Illinois Urbana-Champaign

View bio

Fraser Brown

Fraser Brown

Assistant Professor
Software and Societal Systems Department, Carnegie Mellon University

View bio

Ethan Cecchetti

Ethan Cecchetti

Assistant Professor
University of Wisconsin–Madison

View bio

Nicolas Christin

Nicolas Christin

Co-director
CMU Secure Blockchain Initiative

View bio

Hao Chung

Hao Chung

Ph.D. Student
Carnegie Mellon University

View bio

Sourav Das

Sourav Das

Ph.D. Candidate
University of Illinois Urbana-Champaign

View bio

Giulia Fanti

Giulia Fanti

Assistant Professor
Electrical and Computer Engineering at Carnegie Mellon University

View bio

Kostas Ferles

Kostas Ferles

Chief Research Officer
Veridise

View bio

Hanan Hibshi

Hanan Hibshi

Assistant Teaching Professor
The Information Networking Institute at Carnegie Mellon University

View bio

Jason Hong

Jason Hong

Professor
Human-Computer Interaction Institute, Carnegie Mellon University

View bio

Carole House

Carole House

Executive in Residence
Terranet Ventures

View bio

Harish Karthikeyan

Harish Karthikeyan

Research Scientist
JPMorgan AI Research and JPMorgan AlgoCRYPT Center of Excellence

View bio

Abhiram Kothapalli

Abhiram Kothapalli

Doctoral Research Assistant
Carnegie Mellon University

View bio

Jason Milionis

Jason Milionis

Ph.D. Student
Columbia University

View bio

Kartik Nayak

Kartik Nayak

Assistant Professor
Duke University

View bio

Abdou Ndiaye

Abdou Ndiaye

Assistant Professor of Economics
New York University

View bio

Bryan Routledge

Bryan Routledge

Associate Professor of Finance
Tepper School of Business, Carnegie Mellon University

View bio

Thomas Ruchti

Thomas Ruchti

Research Principal
Office of Financial Research

View bio

Paul Sengh

Paul Sengh

Co-Founder
OpenBlock Labs

View bio

Elaine Shi

Elaine Shi

Co-director
CMU Secure Blockchain Initiative

View bio

Chester Spatt

Chester Spatt

Pamela and Kenneth Dunn Professor of Finance
Tepper School of Business, Carnegie Mellon University

View bio

Srivatsan Sridhar

Srivatsan Sridhar

Ph.D. Candidate
Stanford University

View bio

Abhi Srivastava

Abhi Srivastava

Associate Vice President, DeFi and Digital Assets
Moody's Ratings

View bio

Ben Taylor

Ben Taylor

CEO and Co-Founder
SoftLedger

View bio

Peter Van Valkenburgh

Peter Van Valkenburgh

Director of Research
Coin Center

View bio

Matt Weinberg

Matt Weinberg

Associate Professor
Princeton University

View bio

Ke Wu

Ke Wu

Ph.D. Candidate, Computer Science Department
Carnegie Mellon University

View bio

Osman Yagan

Osman Yagan

Research Professor
Electrical and Computer Engineering, Carnegie Mellon University

View bio

Ariel Zetlin-Jones

Ariel Zetlin-Jones

Co-director
CMU Secure Blockchain Initiative

View bio

Mingxun Zhou

Mingxun Zhou

Ph.D. Student
Carnegie Mellon University

View bio

Secure Blockchain Summit Committee

Nicolas Christin

Nicolas Christin

Co-director
CMU Secure Blockchain Initiative

View bio

Elaine Shi

Elaine Shi

Co-director
CMU Secure Blockchain Initiative

View bio

Ariel Zetlin-Jones

Ariel Zetlin-Jones

Co-director
CMU Secure Blockchain Initiative

View bio

Joshua Gancher

Joshua Gancher

Post Doctoral Fellow, Computer Science Department
Carnegie Mellon University

View bio

Riad Wahby

Riad Wahby

Assistant Professor, Electrical and Computer Engineering
Carnegie Mellon University

View bio

Ke Wu

Ke Wu

Ph.D. Candidate, Computer Science Department
Carnegie Mellon University

View bio

Michael Lisanti

Michael Lisanti

Director
CyLab Partnerships

View bio

Isabelle Glassmith

Isabelle Glassmith

Project Manager
CyLab Partnerships

View bio

Thank you to our Secure Blockchain Circle sponsors!

algorand-foudation-logo_black_500px.png
ripple.png

Thank you to our Tartan sponsors!

jitolabs-logo.png
softledgetr-logo.png

CMU Secure Blockchain Initiative (SBI)

The CMU Secure Blockchain Initiative (SBI) is supported by seed sponsorships from Algorand Foundation and Ripple. Our goal is to work together with industry partners to ensure that the research outputs are relevant and applicable to the challenges faced by the blockchain industry.

Learn more about partnering with the CMU Secure Blockchain Initiative.