Adrien Koutsos

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