Number of items: 1.
Conference or Workshop Item (A Paper)
Cremers, Cas and Fontaine, Caroline and Jacomme, Charlie
(2022)
A Logic and an Interactive Prover for the Computational Post-Quantum Security of Protocols.
This list was generated on Fri Jul 4 05:58:45 2025 CEST.