The MSR Ironclad project builds provably secure and reliable systems.
Primary LanguageC#
No one’s star this repository yet.