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

Romain Janvier, Yassine Lakhnech, Laurent Mazar

Browse the full ESOP paper archive.