This looks mostly like Ada advertisement, but it's readable (May 2008):
The Reddit thread about it:
>From the article:
>Last year's High Confidence Software and Systems (HCSS) conference, sponsored
>by NSA to address security-critical issues, featured an interesting
>presentation from Microsoft addressing such issues in the context of Windows.
>The primary sources of problems in Microsoft's experience are buffer overruns
>and integer overflow problems.<
I have done some searching, but I have not found this presentation.