Main content

Research Projects


Centre for Cyber Trust

A verified security architecture. More


Nagini

Nagini
       

An automated verifier for Python. More


VerifiedSCION

Formal verification of the SCION internet architecture implementationMore


Viper Roots

Formal foundations of translational verifiersMore

Research Projects


Gobra

An automated, modular verifier for Go. More


Prusti

Prusti logo
       

A verifier for Rust programs. More


Viper

A verification infrastructure for permission-​based reasoningMore

JavaScript has been disabled in your browser