Login / Signup
Solène Moreau
ORCID
Publication Activity (10 Years)
Years Active: 2012-2022
Publications (10 Years): 3
Top Topics
Formal Proof
Theorem Prover
Computational Model
Security Protocols
Top Venues
CSF
IEEE Symposium on Security and Privacy
</>
Publications
</>
David Baelde
,
Stéphanie Delaune
,
Adrien Koutsos
,
Solène Moreau
Cracking the Stateful Nut: Computational Proofs of Stateful Security Protocols using the Squirrel Proof Assistant.
CSF
(2022)
David Baelde
,
Stéphanie Delaune
,
Charlie Jacomme
,
Adrien Koutsos
,
Solène Moreau
An Interactive Prover for Protocol Verification in the Computational Model.
IEEE Symposium on Security and Privacy
(2021)
David Baelde
,
Stéphanie Delaune
,
Solène Moreau
A Method for Proving Unlinkability of Stateful Protocols.
CSF
(2020)
Guy Plantier
,
Solène Moreau
,
L. Simon
,
Jean-Christophe Valière
,
Alain Le Duff
,
H. Bailliet
Nonparametric spectral analysis of wideband spectrum with missing data via sample-and-hold interpolation and deconvolution.
Digit. Signal Process.
22 (6) (2012)