@book{58261,
	author = {Akleylek, Sedat and Besik Dundua.},
	title = {Handbook of formal analysis and verification in cryptography /},
	publisher = {CRC Press, Taylor & Francis Group,},
	year = {2024.},
	address = {Boca Raton :},
	note = {Includes bibliographical references and index.}
}