@book{67377,
	author = {Akleylek, Sedat.},
	title = {HANDBOOK OF FORMAL ANALYSIS AND VERIFICATION IN CRYPTOGRAPHY},
	publisher = {CRC PRESS,},
	year = {2023.},
	series = {Prospects in pure and applied mathematics},
	address = {[S.l.] :},
	url = {https://www.taylorfrancis.com/books/9781003090052}
}