Mike Hicks - "Cedar: A language for expressing fast, safe, and fine-grained authorization policies"

Ethics and Equity Panel - Carnegie Mellon University Secure Blockchain Summit 2023

Giulia Fanti - Raft-Forensics: High Performance CFT Consensus w/ Accountability for Byzantine Faults

Sauvik Das - Modeling Barriers to Self-Custody for Cryptocurrency Novices

Wenpin Tang - Mechanism Design Under the Proof of Stake Protocol

Christopher E. Wilmer - Ledger: The First Peer-Reviewed Journal for Blockchain Research

Policy Panel - Carnegie Mellon University Secure Blockchain Summit 2023

Chandrakana Nandi - Practical Formal Verification of EVM Bytecode

Jan Hoffmann - Automatic Gas Bound Analysis for Smart Contracts

Jonathan Aldrich - Obsidian: A Safe, Usable Language for Smart Contracts

Andrew Myers - Charlotte: Enforcing Integrity and Availability in a Deconstructed Blockchain

Alex Ozdemir - SMT + Finite Fields: A foundation for field related verification

Mingxun Zhou - Piano: Practical Sublinear Single Server PIR

Lisa Masserova - Storing and Retrieving Secrets on a Blockchain

Tal Rabin - SPRINT: Robust High Throughput Distributed Schnorr Signatures

Hugo Krawczyk - You Only Speak Once: Private Computing on Public Blockchains

Agostino Capponi - Do Flashbots Relays Mitigate Frontrunning Risk and MEV?

Hao Chung - Rapidash: Foundations of Side-Contract-Resilient Fair Exchange

Ke Wu - What Can Cryptography Do For Decentralized Mechanism Design?

CyLab Seminar: Lei Li - "Is It Generated by AI? Attacks and Robust Watermarking for Generative AI"

CyLab Partner Testimonials

Ariel Zetlin-Jones - Automated Exchange Economies

Matt Weinberg - Statistically Undetectable Selfish Mining

Robert M. Townsend - Innovative Financial Designs Using the New Technologies (Keynote Presentation)

Privacy Label Wiz: Helping Developers Create Accurate Labels for their Apps

CyLab envisions the future of IoT device security and privacy labels

CyLab Seminar: Serge Egelman

Distinguished Blockchain Seminar: Tim Roughgarden

Help picoCTF create the cyber workforce of the future

CyLab's Nicolas Christin on cryptocurrency derivatives