Sylvain Ruhault

According to our database, Sylvain Ruhault authored at least 13 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, Abdul Rahman Taleb, Sylvain Ruhault

Dataset, August, 2025

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

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

Dataset, June, 2025

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

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

Dataset, June, 2025

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

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

Dataset, May, 2025

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

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

Proceedings of the 34th USENIX Security Symposium, 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

Artifacts for NDSS 2024 paper "A Unified Symbolic Analysis of WireGuard".

Sylvain Ruhault, Pascal Lafourcade, Dhekra Mahmoud

Dataset, November, 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 Cryptol. ePrint Arch., 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

Proceedings of the Applied Cryptography and Network Security, 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

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