Language-Based Security (2023) project. Mechanized proof of the soundness of a flow-sensitive type system for Progress-Insensitive Non-Interference (PINI)
Dependencies:
- coq
- coq-stdpp
- coq-equations
Build the artifact with make
.
Build the report:
cd report
make