Microsoft

news

Visible to the public Microsoft Ending Patch Tuesday

Submitted by AdamT on Fri, 05/08/2015 - 8:39am

With the release of windows 10, Microsoft will be ending the monthly patch release schedule. The new version will support more security patches being released more quickly. Microsoft is releasing tools to help corporate users.

http://www.pcworld.com/article/2920158/windows-10-will-kill-off-patch-tuesday-as-microsoft-pushes-constant-stream-of-updates.html

video

Visible to the public Steve Lipner on the Science of Cybersecurity

Submitted by Anonymous on Thu, 01/24/2013 - 10:17am
file

Visible to the public 2005 High Confidence Software & Systems Keynote

Submitted by TimTh on Wed, 08/24/2011 - 7:24am. Contributor:

Presented as part of the 2005 HCSS conference.

file

Visible to the public Formal Specifications on Industrial-Strength Code

Submitted by TimTh on Wed, 08/17/2011 - 8:08am. Contributor:

Presented as part of the 2007 HCSS conference.