Adrien Koutsos

Publications

Communication dans un congrès (15)

Robust Logical Foundations for Mechanizing Post-Quantum Cryptography in Squirrel David Baelde,Antoine Dallon,Stéphanie Delaune,Charlie Jacomme,Adrien Koutsos CCS 2026 - ACM Conference on Computer and Communications Security, Nov 2026, The Hague, Netherlands Communication dans un congrès hal-05595035v1
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
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
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
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
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
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
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
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
High-Assurance Cryptography in the Spectre Era Gilles Barthe,Sunjay Cauligi,Benjamin Grégoire,Adrien Koutsos,Kevin Liaoet 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 Koutsoset 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
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
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
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
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

Article dans une revue (3)

The Squirrel Prover and its Logic David Baelde,Stéphanie Delaune,Charlie Jacomme,Adrien Koutsos,Joseph Lallemand ACM SIGLOG News, 2024, 11 (2), ⟨10.1145/3665453.3665461⟩ Article dans une revue hal-04579038v1
Mechanized Proofs of Adversarial Complexity and Application to Universal Composability Manuel Barbosa,Gilles Barthe,Benjamin Grégoire,Adrien Koutsos,Pierre-Yves Strub ACM Transactions on Privacy and Security, 2023, 26 (3), pp.1-34. ⟨10.1145/3589962⟩ Article dans une revue hal-04048217v1
Decidability of a Sound Set of Inference Rules for Computational Indistinguishability Adrien Koutsos ACM Transactions on Computational Logic, 2021, 22 (1), pp.1 - 44. ⟨10.1145/3423169⟩ Article dans une revue hal-03469091v1

Logiciel (1)

Artifact for &quot;Foundations for Cryptographic Reductions in CCSA Logics David Baelde,Adrien Koutsos,Justine Sauvage 2024 Logiciel hal-04650670v1

Pré-publication, Document de travail (1)

Extending the SQUIRREL meta-logic for reasoning over security protocols David Baelde,Stéphanie Delaune,Charlie Jacomme,Adrien Koutsos,Solène Moreau 2021 Pré-publication, Document de travail hal-03264227v1

Thèse (1)

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