Adrien Koutsos

20
Documents

Publications

Publications

Deposit thumbnail

Leveraging Cryptographic Simulator Synthesis for Formally Verifying the FOO E-Voting Protocol

David Baelde , Adrien Koutsos , Justine Sauvage

Usenix 2026 - 35th Usenix security symposium, Aug 2026, Baltimore, United States

Communication dans un congrès hal-05453231v1
Deposit thumbnail

Foundations for Cryptographic Reductions in CCSA Logics

David Baelde , Adrien Koutsos , Justine Sauvage

CCS '24: ACM SIGSAC Conference on Computer and Communications Security, Oct 2024, Salt Lake City UT, United States. pp.2814-2828, ⟨10.1145/3658644.3690193⟩

Communication dans un congrès hal-04511718v3
Deposit thumbnail

A Probabilistic Logic for Concrete Security

David Baelde , Caroline Fontaine , Adrien Koutsos , Guillaume Scerri , Théo Vignon

CSF 2024 - 37th IEEE Computer Security Foundations Symposium, Jul 2024, Enschede, Netherlands. pp.324-339, ⟨10.1109/CSF61375.2024.00046⟩

Communication dans un congrès hal-04577828v1
Deposit thumbnail

A Higher-Order Indistinguishability Logic for Cryptographic Reasoning

David Baelde , Adrien Koutsos , Joseph Lallemand

LICS, Jun 2023, Boston, United States. pp.1-13, ⟨10.1109/LICS56636.2023.10175781⟩

Communication dans un congrès hal-03981949v2
Deposit thumbnail

Semantic foundations for cost analysis of pipeline-optimized programs

Gilles Barthe , Adrien Koutsos , Solène Mirliaz , David Pichardie , Peter Schwabe

SAS 2022 - 29th International Symposium on Static Analysis, Dec 2022, Auckland, New Zealand. ⟨10.1007/978-3-031-22308-2_17⟩

Communication dans un congrès hal-03779257v1
Deposit thumbnail

An Interactive Prover for Protocol Verification in the Computational Model

David Baelde , Stéphanie Delaune , Charlie Jacomme , Adrien Koutsos , Solène Moreau

SP 2021 - 42nd IEEE Symposium on Security and Privacy, May 2021, San Fransisco / Virtual, United States

Communication dans un congrès hal-03172119v1
Deposit thumbnail

Cracking the Stateful Nut

David Baelde , Stéphanie Delaune , Adrien Koutsos , Solène Moreau

CSF 2022 - 35th IEEE Computer Security Foundations Symposium, Aug 2022, Haifa, Israel

Communication dans un congrès hal-03500056v1
Deposit thumbnail

Mechanized Proofs of Adversarial Complexity and Application to Universal Composability

Manuel Barbosa , Gilles Barthe , Benjamin Grégoire , Adrien Koutsos , Pierre-Yves Strub

CCS 2021 - ACM SIGSAC Conference on Computer and Communications Security, Nov 2021, Virtual Event, South Korea. pp.2541-2563, ⟨10.1145/3460120.3484548⟩

Communication dans un congrès hal-03469015v1
Deposit thumbnail

High-Assurance Cryptography in the Spectre Era

Gilles Barthe , Sunjay Cauligi , Benjamin Grégoire , Adrien Koutsos , Kevin Liao et al.

S&P 2021 - IEEE Symposium of Security and Privacy, May 2021, Virtual, France. ⟨10.1109/SP40001.2021.00046⟩

Communication dans un congrès hal-03352062v1

The Last Mile: High-Assurance and High-Speed Cryptographic Implementations

José Bacelar Almeida , Manuel Barbosa , Gilles Barthe , Benjamin Grégoire , Adrien Koutsos et al.

SP 2020 - 41st IEEE Symposium on Security and Privacy, May 2020, San Francisco / Virtual, United States. pp.965-982, ⟨10.1109/SP40000.2020.00028⟩

Communication dans un congrès hal-02974993v1
Deposit thumbnail

Decidability of a Sound Set of Inference Rules for Computational Indistinguishability

Adrien Koutsos

2019 IEEE 32nd Computer Security Foundations Symposium (CSF), Jun 2019, Hoboken, France. pp.48-4813, ⟨10.1109/CSF.2019.00011⟩

Communication dans un congrès hal-04392610v1
Deposit thumbnail

The 5G-AKA Authentication Protocol Privacy

Adrien Koutsos

EuroS&P 2019 - IEEE European Symposium on Security and Privacy, Jun 2019, Stockholm, Sweden. pp.464-479, ⟨10.1109/EuroSP.2019.00041⟩

Communication dans un congrès hal-03155483v1
Deposit thumbnail

Formal Computational Unlinkability Proofs of RFID Protocols

Hubert Comon , Adrien Koutsos

2017 IEEE 30th Computer Security Foundations Symposium (CSF), Aug 2017, Santa Barbara, France. pp.100-114, ⟨10.1109/CSF.2017.9⟩

Communication dans un congrès hal-04392607v1
Deposit thumbnail

Process-Centric Views of Data-Driven Business Artifacts

Adrien Koutsos , Victor Vianu

International Conference on Database Theory (ICDT), 2015, Bruxelles, Belgium. pp.18, ⟨10.4230/LIPIcs.ICDT.2015.247⟩

Communication dans un congrès hal-01167033v1
Deposit thumbnail

Preuves symboliques de propriétés d’indistinguabilité calculatoire

Adrien Koutsos

Informatique et langage [cs.CL]. Université Paris Saclay (COmUE), 2019. Français. ⟨NNT : 2019SACLN029⟩

Thèse tel-02317745v1