- Publications & Talks

Publications

Time-Lock Encrypted Storage for Blockchains

Amit Agarwal, Kushal Babel, Sourav Das, Babak Poorebrahim Gilkalaye

IACR ePrint | November 2025

Timing Games in Responsive Consensus Protocols

Kaya Alpturer, Kushal Babel, Aditya Saraf

ArXiv Preprint | October 2025

Protocols to Code: Formal Verification of a Secure Next-Generation Internet Router

João Pereira, Tobias Klenze, Sofia Giampietro, Markus Limbeck, Dionysios Spiliopoulos, Felix Wolf, Marco Eilers, Christoph Sprenger, David Basin, Peter Müller, Adrian Perrig

ACM Conference on CCS 2025 | October 2025

Talks

Optimistic MEV in Ethereum Layer 2s: Why Blockspace Is Always in Demand

Lioba Heimbach

January 7, 2026

Paradigm Frontiers - MonadBFT

Michael Chen

August 8, 2025

How Things Work #3: Scaling Broadcast with Raptor Codes

Kushal Babel, Babak Poorebrahim Gilkalaye

June 3, 2025