information-flow-control topic

Inter-procedural analysis framework and dependency/information-flow analysis for LLVM

thinkmoore

Mechanization of a noninterference proof for a toy imperative language with small-step semantics in Coq

aslanix

Troupe programming language

TroupeLang