/CIFC

Coarse-grained information flow control for Java

Primary LanguageCoqMIT LicenseMIT

Stargazers