Constructive Cryptography in HOL

Andreas Lochbihler, S. Reza Sefidgar. Constructive Cryptography in HOL. Archive of Formal Proofs, 2018, 2018. [doi]

No reviews for this publication, yet.