A Sound Flow-Sensitive Heap Abstraction for the Static Analysis of Android Applications. - Stefano Calzavara; Ilya Grishchenko; Adrien Koutsos; Matteo Maffei (CSF, 2017)

Formal Computational Unlinkability Proofs of RFID Protocols. - Hubert Comon; Adrien Koutsos (CSF, 2017)

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

Deciding Indistinguishability. - Adrien Koutsos (CoRR, 2018)

The 5G-AKA Authentication Protocol Privacy. - Adrien Koutsos (EuroS&P, 2019)

Preuves symboliques de propriétés d'indistinguabilité calculatoire. (Symbolic Proofs of Computational Indistinguishability). - Adrien Koutsos (2019)

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 004; Pierre-Yves Strub (SP, 2020)

High-Assurance Cryptography Software in the Spectre Era. - Gilles Barthe; Sunjay Cauligi; Benjamin Grégoire; Adrien Koutsos; Kevin Liao; Tiago Oliveira 004; Swarn Priya; Tamara Rezk; Peter Schwabe (IACR Cryptol. ePrint Arch., 2020)

An Interactive Prover for Protocol Verification in the Computational Model. - David Baelde; Stéphanie Delaune; Charlie Jacomme; Adrien Koutsos; Solène Moreau (SP, 2021)

High-Assurance Cryptography in the Spectre Era. - Gilles Barthe; Sunjay Cauligi; Benjamin Grégoire; Adrien Koutsos; Kevin Liao; Tiago Oliveira 004; Swarn Priya; Tamara Rezk; Peter Schwabe (SP, 2021)

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

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 (CSF, 2022)

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

A Higher-Order Indistinguishability Logic for Cryptographic Reasoning. - David Baelde; Adrien Koutsos; Joseph Lallemand (LICS, 2023)

Mechanized Proofs of Adversarial Complexity and Application to Universal Composability. - Manuel Barbosa; Gilles Barthe; Benjamin Grégoire; Adrien Koutsos; Pierre-Yves Strub (ACM Trans. Priv. Secur., 2023)

Foundations for Cryptographic Reductions in CCSA Logics. - David Baelde; Adrien Koutsos; Justine Sauvage (CCS, 2024)

A Probabilistic Logic for Concrete Security. - David Baelde; Caroline Fontaine; Adrien Koutsos; Guillaume Scerri; Théo Vignon (CSF, 2024)

The Squirrel Prover and its Logic. - David Baelde; Stéphanie Delaune; Charlie Jacomme; Adrien Koutsos; Joseph Lallemand (ACM SIGLOG News, 2024)