Heinrich Hördegen

According to our database, Heinrich Hördegen authored at least 2 papers between 2006 and 2007.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2007

Vérification des protocoles cryptographiques : Comparaison des modèles symboliques avec une application des résultats - Etude des protocoles récursifs.

Heinrich Hördegen

PhD thesis, 2007

2006

Explicit Randomness is not Necessary when Modeling Probabilistic Encryption.

Véronique Cortier, Heinrich Hördegen, Bogdan Warinschi

Proceedings of the First Workshop in Information and Computer Security, 2006