Slide 1 1 Cryptography: Proofs and Tools Gerard Tel Dept of Computer Science, Utrecht Slide 2 2 Talk overview zPart 1: Proofs yDefinition and existence yProofs with numbers…