Handbook of Formal Analysis and Verification in Cryptography - Sedat Akleylek; Besik Dundua (Taylor and Francis, 2023)