Abstract is missing.
- Front Matter, Table of Contents, Preface, Conference Organization [doi]
- Multi: A Formal Playground for Multi-Smart Contract InteractionMartín Ceresa, César Sánchez. [doi]
- Finding Smart Contract Vulnerabilities with ConCert's Property-Based Testing FrameworkMikkel Milo, Eske Hoy Nielsen, Danil Annenkov, Bas Spitters. [doi]
- Automatic Generation of Attacker Contracts in SolidityIgnacio Ballesteros, Clara Benac Earle, Luis Eduardo Bueso de Barrio, Lars-Åke Fredlund, Ángel Herranz, Julio Mariño. [doi]
- MEV-Freedom, in DeFi and Beyond (Invited Talk)Massimo Bartoletti. [doi]
- Proofgold: Blockchain for Formal MethodsChad E. Brown, Cezary Kaliszyk, Thibault Gauthier, Josef Urban. [doi]