Adrien Koutsos

ORCID

Publication Activity (10 Years)

Years Active: 2015-2024
Publications (10 Years): 22

Top Venues

CoRR

CSF

IEEE Symposium on Security and Privacy

IACR Cryptol. ePrint Arch.

University of Paris-Saclay, France (PHD)

Education History

University of Paris-Saclay, France

PHD

Publications

David Baelde, Stéphanie Delaune, Charlie Jacomme, Adrien Koutsos, Joseph Lallemand
The Squirrel Prover and its Logic. ACM SIGLOG News 11 (2) (2024)
Manuel Barbosa, Gilles Barthe, Benjamin Grégoire, Adrien Koutsos, Pierre-Yves Strub
Mechanized Proofs of Adversarial Complexity and Application to Universal Composability. ACM Trans. Priv. Secur. 26 (3) (2023)
David Baelde, Adrien Koutsos, Joseph Lallemand
A Higher-Order Indistinguishability Logic for Cryptographic Reasoning. LICS (2023)
David Baelde, Stéphanie Delaune, Adrien Koutsos, Solène Moreau
Cracking the Stateful Nut: Computational Proofs of Stateful Security Protocols using the Squirrel Proof Assistant. CSF (2022)
Gilles Barthe, Adrien Koutsos, Solène Mirliaz, David Pichardie, Peter Schwabe
Semantic Foundations for Cost Analysis of Pipeline-Optimized Programs. SAS (2022)
Adrien Koutsos
Decidability of a Sound Set of Inference Rules for Computational Indistinguishability. ACM Trans. Comput. Log. 22 (1) (2021)
Gilles Barthe, Sunjay Cauligi, Benjamin Grégoire, Adrien Koutsos, Kevin Liao, Tiago Oliveira, Swarn Priya, Tamara Rezk, Peter Schwabe
High-Assurance Cryptography in the Spectre Era. IEEE Symposium on Security and Privacy (2021)
Manuel Barbosa, Gilles Barthe, Benjamin Grégoire, Adrien Koutsos, Pierre-Yves Strub
Mechanized Proofs of Adversarial Complexity and Application to Universal Composability. CCS (2021)
Manuel Barbosa, Gilles Barthe, Benjamin Grégoire, Adrien Koutsos, Pierre-Yves Strub
Mechanized Proofs of Adversarial Complexity and Application to Universal Composability. IACR Cryptol. ePrint Arch. 2021 (2021)
David Baelde, Stéphanie Delaune, Charlie Jacomme, Adrien Koutsos, Solène Moreau
An Interactive Prover for Protocol Verification in the Computational Model. IEEE Symposium on Security and Privacy (2021)
Gilles Barthe, Sunjay Cauligi, Benjamin Grégoire, Adrien Koutsos, Kevin Liao, Tiago Oliveira, Swarn Priya, Tamara Rezk, Peter Schwabe
High-Assurance Cryptography Software in the Spectre Era. IACR Cryptol. ePrint Arch. 2020 (2020)
José Bacelar Almeida, Manuel Barbosa, Gilles Barthe, Benjamin Grégoire, Adrien Koutsos, Vincent Laporte, Tiago Oliveira, Pierre-Yves Strub
The Last Mile: High-Assurance and High-Speed Cryptographic Implementations. IEEE Symposium on Security and Privacy (2020)
Adrien Koutsos
The 5G-AKA Authentication Protocol Privacy. EuroS&P (2019)
José Bacelar Almeida, Manuel Barbosa, Gilles Barthe, Benjamin Grégoire, Adrien Koutsos, Vincent Laporte, Tiago Oliveira, Pierre-Yves Strub
The Last Mile: High-Assurance and High-Speed Cryptographic Implementations. CoRR (2019)
Adrien Koutsos
Decidability of a Sound Set of Inference Rules for Computational Indistinguishability. CSF (2019)
Adrien Koutsos
Deciding Indistinguishability. CoRR (2018)
Adrien Koutsos
The 5G-AKA Authentication Protocol Privacy. CoRR (2018)
Hubert Comon, Adrien Koutsos
Formal Computational Unlinkability Proofs of RFID Protocols. CoRR (2017)
Stefano Calzavara, Ilya Grishchenko, Adrien Koutsos, Matteo Maffei
A Sound Flow-Sensitive Heap Abstraction for the Static Analysis of Android Applications. CSF (2017)
Adrien Koutsos, Victor Vianu
Process-centric views of data-driven business artifacts. J. Comput. Syst. Sci. 86 (2017)
Hubert Comon, Adrien Koutsos
Formal Computational Unlinkability Proofs of RFID Protocols. CSF (2017)
Stefano Calzavara, Ilya Grishchenko, Adrien Koutsos, Matteo Maffei
A Sound Flow-Sensitive Heap Abstraction for the Static Analysis of Android Applications. CoRR (2017)
Adrien Koutsos, Victor Vianu
Process-Centric Views of Data-Driven Business Artifacts. ICDT (2015)

Adrien Koutsos.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Adrien Koutsos