Implement and Break: Mastering Fundamental Cryptographic Protocols And find understand math formula vulnerability in alg