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

Cas Cremers, Caroline Fontaine, Charlie Jacomme

Browse the full SP paper archive.