Email Record: Handbook of formal analysis and verification in cryptography /