Formal methods is a mature field in computer science with excellent tools including static program analyzers, fuzzers, formal verification tools, Satisfiability Modulo Theories checkers, and more.
Recently, these techniques have been integrated into the industry by companies including Amazon, Certora, Consensys, Facebook, Imandra, Runtime Verification, and Trails of Bits.
This one-day workshop brings together researchers developing tools for reasoning about financial systems and smart contracts. We are particularly interested in DeFi, an emerging suite of applications for decentralized asset management over blockchain technology.
Speakers include:
- Leo Alt, Ethereum Foundation
- Dimitar Bounov, Security Researcher, ConsenSys
- Nikolaj Bjørner, Senior Principal Researcher, Z3
- Sam Blackshear, Mysten Labs
- David L. Dill, Computer Scientist and Academic
- Marco Eilers, ETH Zürich
- Yu Feng, Assistant Professor, UC Santa Barbara
- Neville Grech, Program Analysis, University of Malta
- Grigore Rosu, President & CEO, Runtime Verification
- John Toman, Formal Verification Expert, Certora
This workshop follows The Science of Blockchain Conference 2022