Login / Signup
Modular proofs for key exchange: rigorous optimizations in the Canetti-Krawczyk model.
Yvonne Hitchcock
Colin Boyd
Juan Manuel González Nieto
Published in:
Appl. Algebra Eng. Commun. Comput. (2006)
Keyphrases
</>
image quality
formal model