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 Sat Sep 7 12:31:05 2024 CEST.