Publications

Foundations for Cryptographic Reductions in CCSA Logics
David Baelde, Adrien Koutsos, Justine Sauvage
PDF
A Probabilistic Logic for Concrete Security
David Baelde, Caroline Fontaine, Adrien Koutsos, Guillaume Scerri, Théo Vignon
PDF Long version
The Squirrel Prover and its Logic
David Baelde, Stéphanie Delaune, Adrien Koutsos, Charlie Jacomme, Joseph Lallemand
PDF
Mechanized Proofs of Adversarial Complexity and Application to Universal Composability
Manuel Barbosa, Gilles Barthe, Benjamin Grégoire, Adrien Koutsos, Pierre-Yves Strub
PDF DOI Long version
A Higher-Order Indistinguishability Logic for Cryptographic Reasoning
David Baelde, Adrien Koutsos, Joseph Lallemand
PDF
Semantic Foundations for Cost Analysis of Pipeline-Optimized Programs
Gilles Barthe, Adrien Koutsos, Solène Mirliaz, David Pichardie, Peter Schwabe
PDF Long version
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
PDF Slides
Mechanized Proofs of Adversarial Complexity and Application to Universal Composability
Manuel Barbosa, Gilles Barthe, Benjamin Grégoire, Adrien Koutsos, Pierre-Yves Strub
PDF Slides
An Interactive Prover for Protocol Verification in the Computational Model
David Baelde, Stéphanie Delaune, Charlie Jacomme, Adrien Koutsos, Solène Moreau
PDF Slides Long version
High-Assurance Cryptography in the Spectre Era
Gilles Barthe, Sunjay Cauligi, Benjamin Grégoire, Adrien Koutsos, Kevin Liao, Tiago Oliveira, Swarn Priya, Tamara Rezk, Peter Schwabe
PDF
Decidability of a Sound Set of Inference Rules for Computational Indistinguishability
Adrien Koutsos
PDF
The Last Mile: High-Assurance and High-Speed Cryptographic Implementations
José Bacelar Almeida, Manuel Barbosa, Gilles Barthe, Benjamin Grégoire, Adrien Koutsos, Vincent Laporte, Tiago Oliveira, Pierre-Yves Strub
PDF
The 5G-AKA Authentication Protocol Privacy
Adrien Koutsos
PDF Slides DOI Long version
Symbolic Proofs of Computational Indistinguishability
Adrien Koutsos
PDF Slides
Decidability of a Sound Set of Inference Rules for Computational Indistinguishability
Adrien Koutsos
PDF Slides DOI Long version
Process-centric views of data-driven business artifacts
Adrien Koutsos, Victor Vianu
PDF DOI
Formal Computational Unlinkability Proofs of RFID Protocols
Hubert Comon, Adrien Koutsos
PDF Slides DOI
A Sound Flow-Sensitive Heap Abstraction for the Static Analysis of Android Applications
Stefano Calzavara, Ilya Grishchenko, Adrien Koutsos, Matteo Maffei
PDF DOI Long version
Process-Centric Views of Data-Driven Business Artifacts
Adrien Koutsos, Victor Vianu
PDF DOI