Publications

David Baelde, Adrien Koutsos, Justine Sauvage (2026). Leveraging Cryptographic Simulator Synthesis for Formally Verifying the FOO E-Voting Protocol. To appear in Usenix 2026 - 35th Usenix security symposium.

PDF

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.

PDF

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.

PDF Long version

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

PDF

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.

PDF DOI Long version

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.

PDF

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