Fred Schneider

Samuel B. Eckert Professor of

Computer Science—Cornell University

Cyber-security today is focused largely on defending against known attacks.  We learn about the latest attack and find a patch to defend against it.  So our defenses improve only after they have been successfully penetrated. This is a recipe to ensure some attackers succeed---not a recipe for achieving system trustworthiness.


We must move beyond reacting to yesterday's attacks and instead start building systems whose trustworthiness derives from first principles. Yet today we lack the understanding to adopt that proactive approach; it's not only a matter of engineering, but we lack a science base for cyber-security.  This talk will survey recent and promising avenues toward building that science base and toward creating a principled basis for engineering trustworthy systems.


B17 Upson Hall

Thursday, February 17, 2011

Refreshments at 3:45pm in the Upson 4th Floor Atrium


Computer Science


Spring 2011

Towards a Science for Security