Safe to the Last Instruction: Automated Verification of a Type-Safe OS

2 points| wkornewald | 8 years ago |microsoft.com