So where are we?
What cryptography does is so close to what we need it to do that it’s very tempting to pretend that it solves the problem
Bridging the gap between the cryptographic abstractions and “security” is less well-defined, but still a very difficult problem
“In theory, theory and practice are the same, but in practice, they’re different”