The new SCION Book is out!
The new edition of the SCION Book contains several chapters on the formal verification of the SCION protocol and its implementation
verifyThis 2022 Competition
Thibault Dardinier and Jonas Fiala won the first prize at the verifyThis 2022 Competition using Viper. Congratulations!
Congratulations to a successful PhD defense!
Marco Eilers defended his thesis Modular Specification and Verifications of Security Properties for Mainstream Languages
OOPSLA Distinguished Artifact Award
Our new verifier 2vyper for Etherium smart contracts written in Vyper won a Distinguished Artifact Award at OOPSLA 2021