Secrecy in Squirrel and the Post-Compromise Security of a Ratchet
C. Hérouard, Charlie Jacomme, Adrien Koutsos et al.
· 0 citations
2 papers indexed here
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
Interactive Proofs in Higher-Order Logic with Errors and Application to Concrete Cryptography
This paper introduces a proof term calculus with dedicated features for bounds, for which an elaborator can automatically infer bound-related manipulations, improving usability and reducing user inputs, and theoretically argues for its usability through an erasability theorem.
Caroline Fontaine, Adrien Koutsos, Guillaume Scerri et al.
· IEEE Computer Security Found... · 0 citations