A Logic and an Interactive Prover for the Computational Post-Quantum Security of Protocols (to appear)

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

Sur le même sujet