Sylvain Ruhault

According to our database, Sylvain Ruhault authored at least 8 papers between 2013 and 2025.

Collaborative distances:

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

2025

A Tale of Two Worlds, a Formal Story of WireGuard Hybridization.

Pascal Lafourcade, Dhekra Mahmoud, Sylvain Ruhault, Abdul Rahman Taleb

IACR Cryptol. ePrint Arch., 2025

2024

A Unified Symbolic Analysis of WireGuard.

Pascal Lafourcade, Dhekra Mahmoud, Sylvain Ruhault

Proceedings of the 31st Annual Network and Distributed System Security Symposium, 2024

2023

French 2022 legislatives elections.

Véronique Cortier, Pierrick Gaudry, Stéphane Glondu, Sylvain Ruhault

Proceedings of the Eight International Joint Conference on Electronic Voting, 2023

2017

SoK: Security Models for Pseudo-Random Number Generators.

Sylvain Ruhault

IACR Trans. Symmetric Cryptol., 2017

2015

Security Analysis for Pseudo-Random Numbers Generators. (Analyse de Sécurité des Générateurs Pseudo-Aléatoires).

Sylvain Ruhault

PhD thesis, 2015

Robust Pseudo-Random Number Generators with Input Secure Against Side-Channel Attacks.

Michel Abdalla, Sonia Belaïd, David Pointcheval, Sylvain Ruhault, Damien Vergnaud

IACR Cryptol. ePrint Arch., 2015

2014

Characterization of Real-Life PRNGs under Partial State Corruption.

Mario Cornejo, Sylvain Ruhault

Proceedings of the 2014 ACM SIGSAC Conference on Computer and Communications Security, 2014

2013

Security Analysis of Pseudo-Random Number Generators with Input: /dev/random is not Robust.

Yevgeniy Dodis, David Pointcheval, Sylvain Ruhault, Damien Vergnaud, Daniel Wichs

IACR Cryptol. ePrint Arch., 2013