Secrecy in Squirrel and the Post-Compromise Security of a Ratchet
C. Hérouard, Charlie Jacomme, Adrien Koutsos et al.
· 0 citations
We have 2 of 8 papers
We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.
Not the right person? Other researchers publish under this name.
Open access
Jul 2026
Mind the Gap Connecting Protocol Representations in Squirrel
Security protocols are concurrent processes that communicate using cryptography to achieve various security properties. Their formal verification has been the subject of much research, which has led to a number of successful tools. Several of these tools use variants of the applied pi-calculus as an input language to m...
David Baelde, Stéphanie Delaune, Julia Gabet et al.
· IEEE Computer Security Found... · 0 citations