Heinrich Hördegen

New Results - Security Protocol Verification

Véronique Cortier, Laurent Vigneron, Stéphanie Delaune, 2006 .

Pseudo-random generator based on Chinese Remainder Theorem

Heinrich Hördegen, Jean Claude Bajard, J. Bajard, 2009, Optical Engineering + Applications.

Explicit Randomness is not Necessary when Modeling Probabilistic Encryption

Véronique Cortier, Bogdan Warinschi, Heinrich Hördegen, 2006, ICS@SYNASC.

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 .