Formal and Computational Cryptography: Protocols, Hashes and Commitments door