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

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

Related