| CARVIEW |
Select Language
HTTP/1.1 200 OK
Server: nginx/1.24.0 (Ubuntu)
Date: Sat, 27 Dec 2025 19:32:24 GMT
Content-Type: text/html
Last-Modified: Tue, 18 Nov 2025 08:11:27 GMT
Transfer-Encoding: chunked
Connection: keep-alive
ETag: W/"691c2a2f-b64a"
Content-Encoding: gzip
Adrien Koutsos
Biography
I am in the Prosecco team at Inria Paris. I am interested in the application of formal methods in security. I work on proofs of security protocols (in particular of authentication and privacy properties), the application of automated deduction techniques to help automate protocol analysis, and the usage of static analysis in security.
The web-page of the Squirrel Prover: https://squirrel-prover.github.io/
Publications
David Baelde, Adrien Koutsos, Justine Sauvage
(2024).
Foundations for Cryptographic Reductions in CCSA Logics.
2024 ACM SIGSAC Conference on Computer and Communications Security, CCS'24.
David Baelde, Caroline Fontaine, Adrien Koutsos, Guillaume Scerri, Théo Vignon
(2024).
A Probabilistic Logic for Concrete Security.
IEEE Computer Security Foundations Symposium, CSF 2024, Enschede, Netherlands, July, 2024.
David Baelde, Stéphanie Delaune, Adrien Koutsos, Charlie Jacomme, Joseph Lallemand
(2024).
The Squirrel Prover and its Logic.
ACM SIGLOG News.
Manuel Barbosa, Gilles Barthe, Benjamin Grégoire, Adrien Koutsos, Pierre-Yves Strub
(2023).
Mechanized Proofs of Adversarial Complexity and Application to Universal Composability.
ACM TOPS, Transactions on Privacy and Security.
David Baelde, Adrien Koutsos, Joseph Lallemand
(2023).
A Higher-Order Indistinguishability Logic for Cryptographic Reasoning.
ACM/IEEE Symposium on Logic in Computer Science, LICS'23.
Gilles Barthe, Adrien Koutsos, Solène Mirliaz, David Pichardie, Peter Schwabe
(2022).
Semantic Foundations for Cost Analysis of Pipeline-Optimized Programs.
SAS 2022.
David Baelde, Stéphanie Delaune, Adrien Koutsos, Solène Moreau
(2022).
Cracking the Stateful Nut: Computational Proofs of Stateful Security Protocols using the Squirrel Proof Assistant .
IEEE Computer Security Foundations Symposium, CSF 2022, Haifa, Israel, August, 2022.
Manuel Barbosa, Gilles Barthe, Benjamin Grégoire, Adrien Koutsos, Pierre-Yves Strub
(2021).
Mechanized Proofs of Adversarial Complexity and Application to Universal Composability.
2021 ACM SIGSAC Conference on Computer and Communications Security, CCS'21.
David Baelde, Stéphanie Delaune, Charlie Jacomme, Adrien Koutsos, Solène Moreau
(2021).
An Interactive Prover for Protocol Verification in the Computational Model.
IEEE Symposium on Security and Privacy, S&P 2021, San Fransisco / Virtual, United States.
Gilles Barthe, Sunjay Cauligi, Benjamin Grégoire, Adrien Koutsos, Kevin Liao, Tiago Oliveira, Swarn Priya, Tamara Rezk, Peter Schwabe
(2021).
High-Assurance Cryptography in the Spectre Era.
IEEE Symposium on Security and Privacy, S&P 2021, San Fransisco / Virtual, United States.
Adrien Koutsos
(2021).
Decidability of a Sound Set of Inference Rules for Computational Indistinguishability.
ACM Trans. Comput. Log..
José Bacelar Almeida, Manuel Barbosa, Gilles Barthe, Benjamin Grégoire, Adrien Koutsos, Vincent Laporte, Tiago Oliveira, Pierre-Yves Strub
(2020).
The Last Mile: High-Assurance and High-Speed Cryptographic Implementations.
IEEE Symposium on Security and Privacy.
Adrien Koutsos
(2019).
Decidability of a Sound Set of Inference Rules for Computational Indistinguishability.
32nd IEEE Computer Security Foundations Symposium, CSF 2019, Hoboken, NJ, USA, June 25-28, 2019.
Adrien Koutsos
(2019).
Symbolic Proofs of Computational Indistinguishability.
PhD Thesis.
Adrien Koutsos
(2019).
The 5G-AKA Authentication Protocol Privacy.
IEEE European Symposium on Security and Privacy, EuroS&P 2019, Stockholm, Sweden, June 17-19, 2019.
Stefano Calzavara, Ilya Grishchenko, Adrien Koutsos, Matteo Maffei
(2017).
A Sound Flow-Sensitive Heap Abstraction for the Static Analysis of Android Applications.
30th IEEE Computer Security Foundations Symposium, CSF 2017, Santa Barbara, CA, USA, August 21-25, 2017.
Hubert Comon, Adrien Koutsos
(2017).
Formal Computational Unlinkability Proofs of RFID Protocols.
30th IEEE Computer Security Foundations Symposium, CSF 2017, Santa Barbara, CA, USA, August 21-25, 2017.
Adrien Koutsos, Victor Vianu
(2017).
Process-centric views of data-driven business artifacts.
J. Comput. Syst. Sci..
Adrien Koutsos, Victor Vianu
(2015).
Process-Centric Views of Data-Driven Business Artifacts.
18th International Conference on Database Theory, ICDT 2015, March 23-27, 2015, Brussels, Belgium.
Talks
Mechanizing and Automating Cryptographic Arguments
Invited talk, ProTeCS workshop
May 25, 2024 1:30 PM
ETH Zurich
Mechanized Proofs of Adversarial Complexity and Application to UC
SCOT seminar 15/12/2023
Dec 15, 2023 3:00 PM
Online Event
Verifying Cryptographic Protocols
Demi-heure de science 09/11/2023
Nov 9, 2023 11:00 AM
Inria Center, 2 rue Simone Iff, Paris
Mechanized Proofs of Adversarial Complexity and Application to Universal Composability
GT MFS 2022
Mar 23, 2022 11:00 AM
Fréjus, France
Mechanized Proofs of Adversarial Complexity and Application to Universal Composability
CCS 2021
Nov 15, 2021 11:00 AM
Online Conference
The 5G-AKA Authentication Protocol Privacy
STIC Doctoral School Best Scientific Contribution Award Ceremony
Nov 28, 2019 11:30 AM
CentraleSupélec Paris-Saclay
The Last Mile: High-Assurance and High-Speed Cryptographic Implementations
Celtique Seminar
Sep 10, 2019 10:00 AM
IRISA, Rennes
Contact
- (λ x y. x.y@inria.fr) adrien koutsos
- Inria, 48 rue Barrault, Paris, 75013