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

Gilles Barthe, Adrien Koutsos, Solène Mirliaz, David Pichardie, Peter Schwabe (2022). Semantic Foundations for Cost Analysis of Pipeline-Optimized Programs. SAS 2022.

PDF Long version

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.

PDF Slides

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.

PDF Slides

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.

PDF Slides Long version

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.

PDF

Adrien Koutsos (2021). Decidability of a Sound Set of Inference Rules for Computational Indistinguishability. ACM Trans. Comput. Log..

PDF

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.

PDF

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.

PDF Slides DOI Long version

Adrien Koutsos (2019). Symbolic Proofs of Computational Indistinguishability. PhD Thesis.

PDF Slides

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.

PDF Slides DOI Long version

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.

PDF DOI Long version

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.

PDF Slides DOI

Adrien Koutsos, Victor Vianu (2017). Process-centric views of data-driven business artifacts. J. Comput. Syst. Sci..

PDF DOI

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.

PDF DOI

Talks

Here are some of my talks. For older talks, please see my old website.

Cracking the Stateful Nut

CSF 2022
Aug 9, 2022 11:00 AM Haïfa, Israël
Slides

Mechanized Proofs of Adversarial Complexity and Application to Universal Composability

CCS 2021
Nov 15, 2021 11:00 AM Online Conference
Slides

The 5G-AKA Authentication Protocol Privacy

STIC Doctoral School Best Scientific Contribution Award Ceremony
Nov 28, 2019 11:30 AM CentraleSupélec Paris-Saclay
Slides

The 5G-AKA Authentication Protocol Privacy

Prosecco Seminar
Nov 5, 2019 2:00 PM INRIA Paris
Slides

The Last Mile: High-Assurance and High-Speed Cryptographic Implementations

Celtique Seminar
Sep 10, 2019 10:00 AM IRISA, Rennes
Slides

Contact