EasyChair Smart SlideUser guide
Conference: FMBC 2022 (4th International Workshop on Formal Methods for Blockchains)

This page shows all presentations from this conference published in EasyChair Smart Slide.

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

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

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

Multi: a Formal Playground for Smart Multi-Contract Interaction

Martin Ceresa and Cesar Sanchez

Presentations in this collection: 3
Copyright © 2002 – 2026 EasyChair