Title: Handbook of Formal Analysis and Verification in Cryptography
Subjects: Mathematics