Formal Verification of Smart Contracts

About the session

Smart contracts need clearly defined behavior before deployment. This session introduces formal verification as a way to reason about that behavior using a mathematical model.

The talk connects Solidity code and its compiled bytecode with the question of whether a contract meets its specification. The organizer provides both the session abstract and a recording.

The conference was rescheduled from October 4 to December 6, 2021. The abstract retains the original date; this page follows the updated organizer programme.

Related research

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