Solène Moreau

According to our database, Solène Moreau authored at least 5 papers between 2012 and 2022.

Collaborative distances:

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

2022

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

Proceedings of the 35th IEEE Computer Security Foundations Symposium, 2022

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

PhD thesis, 2021

An Interactive Prover for Protocol Verification in the Computational Model.

David Baelde, Stéphanie Delaune, Charlie Jacomme, Adrien Koutsos, Solène Moreau

Proceedings of the 42nd IEEE Symposium on Security and Privacy, 2021

2020

A Method for Proving Unlinkability of Stateful Protocols.

David Baelde, Stéphanie Delaune, Solène Moreau

Proceedings of the 33rd IEEE Computer Security Foundations Symposium, 2020

2012

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