Formal analysis of symbolic authenticity

DOI10.1007/978-3-030-86205-3_15MaRDI QIDQ831950zbMATH OpenOpenAlexFDO

Authors N. E. Zubov

Publication date 24 March 2022

Full work available at URL https://doi.org/10.1007/978-3-030-86205-3_15

zbMATH Keywords

formal methodsunificationauthenticated encryption

Mathematics Subject Classification ID

Artificial intelligence (68Txx)

Cites work

• scientific article; zbMATH DE number 1942411 (Why is no real title available?)
• Automated unbounded analysis of cryptographic constructions in the generic group model
• Equational security proofs of oblivious transfer protocols
• Fast Encryption and Authentication: XCBC Encryption and XECB Authentication Modes
• Handbook of automated reasoning. In 2 vols
• Linicrypt: a model for practical cryptography
• Parallelizable Rate-1 Authenticated Encryption from Pseudorandom Functions

Cited in

(2)

• Analytical signatures and proper actions
• CryptoSolve: towards a tool for the symbolic analysis of cryptographic algorithms

This page was built for publication: Formal analysis of symbolic authenticity

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q831950)