Traditionally, “provable security” was tied in the minds cryptographers to public-key cryptography, asymptotic analyses, number-theoretic primitives, and proof-of-concept designs. In this talk I survey some of the work that I have done (much of it joint with Mihir Bellare) that has helped to erode these associations. I will use the story of practice-oriented provable security as the backdrop with which to make the case for what might be called a “social constructionist” view of our field. This view entails the claim that the body of work our community has produced is less the inevitable consequence of what we aim to study than the contingent consequence of sensibilities and assumptions within our disciplinary culture.
Note the changed time.
I'm a professor of Computer Science at the University of California, Davis, USA. My research has focused on obtaining provably-good solutions to practical protocol problems. I did my undergrad work at UCD and my Ph.D. at MIT. I came to UCD in 1994, but have spent some of those years on leaves and sabbaticals, most often in Thailand. In recent years I've been increasingly concerned about ethical and social problems connected to technology, and the majority of my teaching is now on that.