Keynote by Dusko Pavlovic  

The unreasonable ineffectiveness of security engineering

 
  Date: Thursday September 16th      Time: 9.00 - 10.00
Room: Auditorium
 

In his 1960 essay, Eugene Wigner raised the question of "the unreasonable effectiveness of mathematics in natural sciences".

After several decades of security research, we are tempted to ask the opposite question: Are we not unreasonably ineffective? Why did we not become more secure from all the security technologies that have been deployed?

There are, of course, many answers to this question. I shall focus on one of them.

As computers pervade all areas of social life and production, computation itself is becoming a social process, distributed among the clouds of computers and humans.

Programming such computation requires new modeling techniques.

As an example, I shall discuss the problem of setting up provably authentic channels in ad hoc networks.

   

 
www.sefm2010.isti.cnr.it SEFM 2010 School
Home    |    News   |   Downloads   |   Sitemap   |     |   rss feed   |   css 2.1   |   last updated: 16 Sep, 2010 - 13:41