microsoft / Ironclad

The MSR Ironclad project builds provably secure and reliable systems.
242Updated last year

Related projects

Alternatives and complementary repositories for Ironclad