Formal analysis of symbolic authenticity

DOI10.1007/978-3-030-86205-3_15OpenAlexW3196815304MaRDI QIDQ831950

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

unificationformal methodsauthenticated encryption

Mathematics Subject Classification ID

Artificial intelligence (68Txx)

Related Items (1)

Unnamed Item

Cites Work

• Unnamed Item
• Unnamed Item
• Equational security proofs of oblivious transfer protocols
• Linicrypt: A Model for Practical Cryptography
• Fast Encryption and Authentication: XCBC Encryption and XECB Authentication Modes
• Parallelizable Rate-1 Authenticated Encryption from Pseudorandom Functions
• Automated Unbounded Analysis of Cryptographic Constructions in the Generic Group Model

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