Proofs that yield nothing but their validity and a Methodology of Cryptographic protocol design | Open Awesome