Computer science/Security/Cryptography
Subject Classification
ACM: Security and privacy~Cryptography
AMS: Information and communication theory, circuits / Communication, information / Cryptography
2023
2021
Constructive Cryptography in HOL: the Communication Modeling Aspect
by Andreas Lochbihler and S. Reza Sefidgar