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)

Characterization of Real-Life PRNGs under Partial State Corruption. - Mario Cornejo; Sylvain Ruhault (CCS, 2014)

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)

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

SoK: Security Models for Pseudo-Random Number Generators. - Sylvain Ruhault (IACR Trans. Symmetric Cryptol., 2017)

French 2022 legislatives elections. - Véronique Cortier; Pierrick Gaudry; Stéphane Glondu; Sylvain Ruhault (E-Vote-ID (GI), 2023)

A Unified Symbolic Analysis of WireGuard. - Pascal Lafourcade 001; Dhekra Mahmoud; Sylvain Ruhault (NDSS, 2024)

A Tale of Two Worlds, a Formal Story of WireGuard Hybridization. - Pascal Lafourcade 001; Dhekra Mahmoud; Sylvain Ruhault; Abdul Rahman Taleb (IACR Cryptol. ePrint Arch., 2025)