Keynote by Dusko Pavlovic
The unreasonable ineffectiveness of security engineering
Date: Thursday September 16th Time: 9.00 - 10.00
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.