Formal analysis of symbolic authenticity

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

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

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

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)