Handbook of Formal Analysis and Verification in Cryptography (Prospects Pure Applied Mathematics)

Handbook of Formal Analysis and Verification in Cryptography (Prospects in Pure and Applied Mathematics)