Gitstar Ranking

LinuxSuRen / Ironclad

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