ramla-i / ironclad Goto Github PK
View Code? Open in Web Editor NEWThis project forked from microsoft/ironclad
The MSR Ironclad project builds provably secure and reliable systems.
Home Page: http://research.microsoft.com/en-us/projects/ironclad/
License: Other