Souhail Mssassi Blockchain security researcher

Arab Security Conference 2021September 5, 2021

Formal Verification of Smart Contracts

A technical workshop on formal verification of smart contracts at Arab Security Conference 2021, with the organizer’s recording available to watch.

Speaker: Souhail Mssassi

Format: Technical workshop · Hybrid conference

Watch the recording Workshop programme All talks

About the session

The conference programme lists this session among its technical workshops for experts. It is part of my work on reasoning about the behavior and security properties of smart contracts.

The official session recording and programme are linked below. The 2021 conference was a hybrid edition.

Related research

My research explores security assumptions, privacy and adversarial behavior in decentralized systems.

Research themesPublicationsContact

Related talks