Explicit Randomness is not Necessary when Modeling Probabilistic Encryption. - Véronique Cortier; Heinrich Hördegen; Bogdan Warinschi (ICS@SYNASC, 2006)

Vérification des protocoles cryptographiques : Comparaison des modèles symboliques avec une application des résultats - Etude des protocoles récursifs. - Heinrich Hördegen (2007)