Text this: Handbook of formal analysis and verification in cryptography /