Coq formalization accompanying the paper: A Verified Information-Flow Architecture
Primary LanguageCoqOtherNOASSERTION