Nonparametric spectral analysis of wideband spectrum with missing data via sample-and-hold interpolation and deconvolution. - Guy Plantier; Solène Moreau; L. Simon; Jean-Christophe Valière; Alain Le Duff; H. Bailliet (Digit. Signal Process., 2012)

A Method for Proving Unlinkability of Stateful Protocols. - David Baelde; Stéphanie Delaune; Solène Moreau (CSF, 2020)

An Interactive Prover for Protocol Verification in the Computational Model. - David Baelde; Stéphanie Delaune; Charlie Jacomme; Adrien Koutsos; Solène Moreau (SP, 2021)

Formal verification of unlinkability for stateful protocols: bridging the gap between symbolic and computational models. (Vérification formelle de la non-traçabilité pour les protocoles à état: entre modèles symboliques et calculatoires). - Solène Moreau (2021)

Cracking the Stateful Nut: Computational Proofs of Stateful Security Protocols using the Squirrel Proof Assistant. - David Baelde; Stéphanie Delaune; Adrien Koutsos; Solène Moreau (CSF, 2022)