HCSS'11 Theme: Science of Security

file

Visible to the public The Open World Framework

Submitted by Katie Dey on Thu, 05/26/2011 - 6:28pm. Contributor:

Abstract

Today, 2 billion people are online creating e-content like the world’s never seen before. Within a decade this will possibly grow to over 6 billion, and today’s e-world will morph into a “communal well of creation”. A “watering hole” dominated by unstructured content and informal collaborative human networks.

file

Visible to the public Designed-In Security

Submitted by Katie Dey on Mon, 05/16/2011 - 9:27am. Contributor:

Abstract

Today, one might look at how most systems are produced and described the process as “designed insecurity”. But in fact, advances in static and dynamic analysis, model checking, proof-carrying code, correct-by-construction development and other techniques in the past decade provide some cause of optimism that software with significantly fewer vulnerabilities and better understood properties may be within reach.