News for hackers. Stuff that matters.

A comment on Windows XP source code has leaked. Parent comment

Re:Windows XP source code has leaked by optimiz3 on Friday September 25, 2020 @04:33AM (#24587826)
Microsoft made a big security pivot during XP. Gates put his foot down and forced the company to reprioritize secure engineering over everything else during the SP(2?) timeframe.
[ Parent | on HN ]
Re:Windows XP source code has leaked by lou1306 on Friday September 25, 2020 @08:01AM (#24588865)
They also made a pretty big push toward formal verification of drivers, which were often the culprit for insecure/unstable machines. Their SLAM model checker [0] was avant-garde (in industry terms, at least).

[0]: https://en.wikipedia.org/wiki/SLAM_project

[ Parent | on HN ]
Re:Windows XP source code has leaked by ThrowawayB7 on Friday September 25, 2020 @10:47AM (#24590347)
Yep, the whole Trustworthy Computing initiative: https://en.wikipedia.org/wiki/Trustworthy_computing There was a huge investment in training, tools, and creating security specialists. It took a long time to turn the ship around but security issues started trending down a few years after that.
[ Parent | on HN ]