Spotlight

This event took place on Tuesday, November 1, 2022 at 10:00 AM UTC.

Bitcoin-Enhanced Proof-of-Stake Security: Possibilities and Impossibilities Sreeram Kannan (University of Washington, Seattle); Mohammad Ali Maddah-Ali (Stanford University); Ertem Nusret Tas (Stanford University); David Tse (Stanford University); Fisher Yu (BabylonChain) WIP: A Model-Checking Framework for the Verification of Move Smart Contracts Eric Keilty (University of Toronto); Keerthi Nelaturu (University of Toronto); Bowen Wu (University of Toronto); Andreas Veneris (University of Toronto) SoK: Not Quite Water Under the Bridge: Review of Cross-Chain Bridge Hacks Sung-Shine Lee (Quantstamp, Inc.); Alexandr Murashkin (Quantstamp, Inc); Martin Derka (Quantstamp, Inc.); Jan Gorzny (Quantstamp, Inc.) Quantifying Blockchain Extractable Value: How dark is the forest? Kaihua Qin (Imperial College London); Liyi Zhou (Imperial College London); Arthur Gervais (Imperial College London)