TY  - BOOK
AU  - Sedat Akleylek; Besik Dundua
TI  - Handbook of Formal Analysis and Verification in Cryptography
SN  - 9781003090052
PB  - Taylor and Francis
UR  - http://www.taylorfrancis.com/books/9781003090052
ER  -