Sylvain Ruhault

According to our database, Sylvain Ruhault authored at least 6 papers between 2013 and 2024.

Collaborative distances:

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

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

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