It will be a must-have for Windows hackers.
>> Wonder if anyone will bother to download it /s
>
>
> It will be a must-have for Windows hackers.
You got that right — though, in an interesting/ironic twist MS Research’s blog posted something on the security of compilers just two days ago (1) and there actually **is** an OS developed by MS Research that is based on the sort of provability mentioned in the article called Verve (2/3).
It would be quite interesting if this was the impetus for them to base the next Windows system on Verve.
1 — https://www.microsoft.com/en-us/research/blog/getting-compilers-right-secure-software/
2 — https://channel9.msdn.com/Shows/Going+Deep/Verve-A-Type-Safe-Operating-System
3 — https://www.microsoft.com/en-us/research/publication/safe-to-the-last-instruction-automated-verification-of-a-type-safe-operating-system/