Adrien Koutsos
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
5
Active years
2015–2024
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | CCS | Foundations for Cryptographic Reductions in CCSA Logics. | David Baelde, Adrien Koutsos, Justine Sauvage |
| 2023 | LICS | A Higher-Order Indistinguishability Logic for Cryptographic Reasoning. | David Baelde, Adrien Koutsos, Joseph Lallemand |
| 2022 | SAS | Semantic Foundations for Cost Analysis of Pipeline-Optimized Programs. | Gilles Barthe, Adrien Koutsos, Solne Mirliaz, David Pichardie, Peter Schwabe |
| 2021 | CCS | Mechanized Proofs of Adversarial Complexity and Application to Universal Composability. | Manuel Barbosa, Gilles Barthe, Benjamin Grgoire, Adrien Koutsos, Pierre-Yves Strub |
| 2021 | SP | An Interactive Prover for Protocol Verification in the Computational Model. | David Baelde, Stphanie Delaune, Charlie Jacomme, Adrien Koutsos, Solne Moreau |
| 2021 | SP | High-Assurance Cryptography in the Spectre Era. | Gilles Barthe, Sunjay Cauligi, Benjamin Grgoire, Adrien Koutsos, Kevin Liao, Tiago Oliveira, Swarn Priya, Tamara Rezk, Peter Schwabe |
| 2020 | SP | The Last Mile: High-Assurance and High-Speed Cryptographic Implementations. | Jos Bacelar Almeida, Manuel Barbosa, Gilles Barthe, Benjamin Grgoire, Adrien Koutsos, Vincent Laporte, Tiago Oliveira, Pierre-Yves Strub |
| 2015 | ICDT | Process-Centric Views of Data-Driven Business Artifacts. | Adrien Koutsos, Victor Vianu |