Sylvain Ruhault

12 papers A* 4B 1Journal 5Unranked 1
YearRankTypeTitle / Venue / Authors
2025 A* conf
A Tale of Two Worlds, a Formal Story of WireGuard Hybridization.
USENIX Security Symposium
Pascal Lafourcade, Dhekra Mahmoud, Sylvain Ruhault, Abdul Rahman Taleb
2025 J jnl
A Tale of Two Worlds, a Formal Story of WireGuard Hybridization.
IACR Cryptol. ePrint Arch.
Pascal Lafourcade, Dhekra Mahmoud, Sylvain Ruhault, Abdul Rahman Taleb
2024 A* conf
A Unified Symbolic Analysis of WireGuard.
NDSS
Pascal Lafourcade, Dhekra Mahmoud, Sylvain Ruhault
2023 — conf
French 2022 legislatives elections.
E-Vote-ID (GI)
Véronique Cortier, Pierrick Gaudry, Stéphane Glondu, Sylvain Ruhault
2017 J jnl
SoK: Security Models for Pseudo-Random Number Generators.
IACR Cryptol. ePrint Arch.
Sylvain Ruhault
2017 J jnl
SoK: Security Models for Pseudo-Random Number Generators.
IACR Trans. Symmetric Cryptol.
Sylvain Ruhault
2015 B conf
Robust Pseudo-Random Number Generators with Input Secure Against Side-Channel Attacks.
ACNS
Michel Abdalla, Sonia Belaïd, David Pointcheval, Sylvain Ruhault, Damien Vergnaud
2015 J jnl
Robust Pseudo-Random Number Generators with Input Secure Against Side-Channel Attacks.
IACR Cryptol. ePrint Arch.
Michel Abdalla, Sonia Belaïd, David Pointcheval, Sylvain Ruhault, Damien Vergnaud
2015 — —
Security Analysis for Pseudo-Random Numbers Generators. (Analyse de Sécurité des Générateurs Pseudo-Aléatoires).
Sylvain Ruhault
2014 A* conf
Characterization of Real-Life PRNGs under Partial State Corruption.
CCS
Mario Cornejo, Sylvain Ruhault
2013 J jnl
Security Analysis of Pseudo-Random Number Generators with Input: /dev/random is not Robust.
IACR Cryptol. ePrint Arch.
Yevgeniy Dodis, David Pointcheval, Sylvain Ruhault, Damien Vergnaud, Daniel Wichs
2013 A* conf
Security analysis of pseudo-random number generators with input: /dev/random is not robust.
CCS
Yevgeniy Dodis, David Pointcheval, Sylvain Ruhault, Damien Vergnaud, Daniel Wichs