Developing Provably-Correct Software Using Formal Methods by Ben Linders Posted on May 22, 2015 9
SEI Publishes The CERT Guide to Insider Threats Book by Michael Stal Posted on Mar 03, 2012 6
Software is Dead; Long Live Software!
Nov 13, 2014
Peter Wang keynotes on the existential question of what software "is", in an age when hardware ranges from smartphones to bacterial DNA to data centers, and the pragmatic question of how software developers can stay afloat amidst the accelerating pace of hardware disruption.