Gitstar Ranking

microsoft / Ironclad

The MSR Ironclad project builds provably secure and reliable systems. - View it on GitHub
http://research.microsoft.com/en-us/projects/ironclad/
Star
256
Rank
132205