A Logic and an Interactive Prover for the Computational Post-Quantum Security of Protocols

Cas Cremers, Caroline Fontaine, Charlie Jacomme
January 2022
Type
Article de conférence
Publication
Proceedings of the 43nd IEEE Symposium on Security and Privacy (S&P'22)

Sur le même sujet