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

Publication
Proceedings of the 43nd IEEE Symposium on Security and Privacy (S&P'22)

Sur le même sujet