A verified security architecture. More
An automated verifier for Python. More
Formal verification of the SCION internet architecture implementation. More
Formal foundations of translational verifiers. More
An automated, modular verifier for Go. More
A verifier for Rust programs. More
A verification infrastructure for permission-based reasoning. More
