- https://dasnacl.de
-
PhD student doing secure compilation
- Joined on
2022-09-20
A provably-secure multi-language language that is capable of doing proofs
Updated
This repository presents a coq development that showcases a few definitions and proof techniques for formal compiler security.
Updated
Adapted from https://gitlab.inria.fr/fpottier/menhir/-/tree/master/demos/coq-minicalc This repo is supposed to be a playground to correctly configurer `dune`.
Updated