FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
SLIDES

Finding Smart Contract Vulnerabilities with ConCert'S Property-Based Testing Framework

Mikkel Milo, Eske Hoy Nielsen, Danil Annenkov and Bas Spitters

Automatic Generation of Attacker Contracts in Solidity

Ignacio Ballesteros, Clara Benac, Luis Eduardo Bueso, Lars-Åke Fredlund, Ángel Herranz and Julio Mariño

Multi: a Formal Playground for Smart Multi-Contract Interaction

Martin Ceresa and Cesar Sanchez
Total: 3 presentations.