The MSR Ironclad project builds provably secure and reliable systems.
Home Page:http://research.microsoft.com/en-us/projects/ironclad/
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool