A New Concept in Protocols: Verifiable Computational Delegation

Abstract

I used to say that the only thing I can trust is what I can prove, but that was when I was a mathematician and now I’m a cryptographer (at least part-time) and then of course that no longer holds. I have to trust for instance that factoring is difficult. It reminds me of a conversation we had about a year ago in the Danish Security Council. Somebody was saying: you know, you don’t know what to trust these days, I’m very careful when I’m on the phone, I never say anything important on the phone. And I said I’m much more cautious, I simply never say anything important, you never know.