Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Login
Top
New
Best
Ask
Show
Jobs
Ironclad Apps: End-to-End Security via Automated Full-System Verification
research.microsoft.com
52 points
pjmlp
12 years ago
19 comments
Loading...
Ironclad Apps: End-to-End Security via Automated Full-System Verification | Heykuki News