What EB Is Not
Stacks of paper don’t defend systems
Al & Crispin to cover?
Proofs rarely relate to real world
OpenBSD vs X
Evaluating stacks of paper too hard.
CC & such standards require bizzare language
Turing’s halting problem.
Mathematicians like proofs, but “provably secure” cryptosystems get attacked through some other angle.
Cryptographers in fact rely on experiment, from Deep Crack to the sha1 demos last summer at crypto