000			a
999			_c34013 _d34013
008			250714b xxu||||| |||| 00| 0 eng d
020			_a9780367546663
082			_a005.824 _bAKL
100			_aAkleylek, Sedat _eed.
245			_aHandbook of formal analysis and verification in cryptography
260			_bCRC Press, _c2024 _aBoca Raton :
300			_axv, 428 p. ; _bill., _c24 cm
365			_b61.99 _c£ _d118.80
490			_aProspects in Pure and Applied Mathematics Series
504			_aIncludes bibliographical references and index.
520			_aHandbook of Formal Analysis and Verification in Cryptography includes major formalisms and tools used for formal verification of cryptography, with a focus on new generation cryptosystems such as post-quantum. It presents a connection between formal analysis and cryptographic schemes, offers formal methods to show whether security assumptions are valid or not for a cryptographic scheme, compares the most prominent formalism and tools, and outlines common challenges and future research directions.
650			_aCryptography
650			_aComputer systems Verification
650			_aData encryption
650			_aComputer science
650			_aMathematics
650			_aMathematical Analysis
650			_aManufacturing
700			_aDundua, Besik _eed.
942			_2ddc _cBK