Computer-aided proofs in cryptography: an overview