Old Web
English
Sign In
Acemap
>
authorDetail
>
Heinrich Hördegen
Heinrich Hördegen
French Institute for Research in Computer Science and Automation
Computer science
Cryptographic protocol
Theoretical computer science
Encryption
Probabilistic encryption
3
Papers
17
Citations
0.00
KQI
Citation Trend
Filter By
Interval:
1900~2024
1900
2024
Author
Papers (3)
Sort By
Default
Most Recent
Most Early
Most Citation
No data
Journal
Conference
Others
Explicit Randomness is not Necessary when Modeling Probabilistic Encryption
2007
Electronic Notes in Theoretical Computer Science
Véronique Cortier
Heinrich Hördegen
Bogdan Warinschi
Show All
Source
Cite
Save
Citations (14)
New Results - Security protocol verification
2006
Véronique Cortier
Michaël Rusinowitch
Mathieu Turuani
Heinrich Hördegen
Eugen Zalinescu
Stéphanie Delaune
Najah Chridi
Laurent Vigneron
Pierre-Cyrille Héam
Olga Kouchnarenko
Show All
Source
Cite
Save
Citations (0)
Explicit Randomness is not Necessary when Modeling Probabilistic Encryption
2006
arXiv: Cryptography and Security
Véronique Cortier
Heinrich Hördegen
Bogdan Warinschi
Show All
Source
Cite
Save
Citations (3)
1