Solène Moreau

According to our database, Solène Moreau authored at least 4 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

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