Lasse Meinen's repositories
adem-gobra
This repository contains code used to formally verify the verification component of the ADEM prototype using the Gobra program verifier.
Language:GoMIT000
adem-proofs
This repository provides security proofs for ADEM, An Authentic Digital EMblem.
Language:PythonMIT000
aoc-2021
Nothing impressive, just me writing Java on slow days
Language:Java000
Language:Rust000
Language:Python000