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)
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)