TY  - BOOK
AU  - Akleylek,Sedat
AU  - Besik Dundua
TI  - Handbook of formal analysis and verification in cryptography
SN  - 9780367546656
U1  - 003.54 
PY  - 2024///
CY  - Boca Raton
PB  - CRC Press, Taylor & Francis Group
KW  - Cryptography
KW  - Mathematical analysis
KW  - Computer systems-Verification
N1  - Includes bibliographical references and index
ER  -