CMU Secure Blockchain Summit
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 convened 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.
Watch videos of all presentations and panels at the 2024 CMU Secure Blockchain Summit
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
Presentation and panel titles below link to videos of each individual presentation and panel. View the full playlist of presentations and panels from the 2024 CMU Secure Blockchain Summit.
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:
- 3:20-5:00 PM: BREAK
- 5:00-8:00 PM: Dinner - The Café Carnegie
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: Jason Hong - 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:
- 5:00-8:00 PM: Simmons A - Recruiting and Networking Reception
Speakers
See detailed information about this year's speakers and their presentation abstracts.
Fraser Brown
Assistant Professor
Software and Societal Systems Department, Carnegie Mellon University
Giulia Fanti
Assistant Professor
Electrical and Computer Engineering at Carnegie Mellon University
Hanan Hibshi
Assistant Teaching Professor
The Information Networking Institute at Carnegie Mellon University
Harish Karthikeyan
Research Scientist
JPMorgan AI Research and JPMorgan AlgoCRYPT Center of Excellence
Abhiram Kothapalli
Doctoral Research Assistant
Carnegie Mellon University
Bryan Routledge
Associate Professor of Finance
Tepper School of Business, Carnegie Mellon University
Chester Spatt
Pamela and Kenneth Dunn Professor of Finance
Tepper School of Business, Carnegie Mellon University
Osman Yagan
Research Professor
Electrical and Computer Engineering, Carnegie Mellon University
Secure Blockchain Summit Committee
Riad Wahby
Assistant Professor, Electrical and Computer Engineering
Carnegie Mellon University
Thank you to our Secure Blockchain Circle sponsors!
Thank you to our Tartan sponsors!
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.