Sciweavers

ESOP
2005
Springer

Completing the Picture: Soundness of Formal Encryption in the Presence of Active Adversaries

14 years 5 months ago
Completing the Picture: Soundness of Formal Encryption in the Presence of Active Adversaries
Romain Janvier, Yassine Lakhnech, Laurent Mazar&ea
Added 27 Jun 2010
Updated 27 Jun 2010
Type Conference
Year 2005
Where ESOP
Authors Romain Janvier, Yassine Lakhnech, Laurent Mazaré
Comments (0)