Adrien Koutsos

According to our database, Adrien Koutsos authored at least 17 papers between 2017 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

The Squirrel Prover and its Logic.

David Baelde, Stéphanie Delaune, Charlie Jacomme, Adrien Koutsos, Joseph Lallemand

ACM SIGLOG News, April, 2024

A Probabilistic Logic for Concrete Security.

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

Proceedings of the 37th IEEE Computer Security Foundations Symposium, 2024

2023

Mechanized Proofs of Adversarial Complexity and Application to Universal Composability.

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

ACM Trans. Priv. Secur., August, 2023

A Higher-Order Indistinguishability Logic for Cryptographic Reasoning.

David Baelde, Adrien Koutsos, Joseph Lallemand

Proceedings of the 38th Annual ACM/IEEE Symposium on Logic in Computer Science, 2023

2022

Semantic Foundations for Cost Analysis of Pipeline-Optimized Programs.

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

Proceedings of the Static Analysis - 29th International Symposium, 2022

Cracking the Stateful Nut: Computational Proofs of Stateful Security Protocols using the Squirrel Proof Assistant.

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

Proceedings of the 35th IEEE Computer Security Foundations Symposium, 2022

2021

Decidability of a Sound Set of Inference Rules for Computational Indistinguishability.

Adrien Koutsos

ACM Trans. Comput. Log., 2021

High-Assurance Cryptography in the Spectre Era.

Gilles Barthe, Sunjay Cauligi, Benjamin Grégoire, Adrien Koutsos, Kevin Liao, Tiago Oliveira, Swarn Priya, Tamara Rezk, Peter Schwabe

Proceedings of the 42nd IEEE Symposium on Security and Privacy, 2021

An Interactive Prover for Protocol Verification in the Computational Model.

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

Proceedings of the 42nd IEEE Symposium on Security and Privacy, 2021

2020

High-Assurance Cryptography Software in the Spectre Era.

Gilles Barthe, Sunjay Cauligi, Benjamin Grégoire, Adrien Koutsos, Kevin Liao, Tiago Oliveira, Swarn Priya, Tamara Rezk, Peter Schwabe

IACR Cryptol. ePrint Arch., 2020

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

José Bacelar Almeida, Manuel Barbosa, Gilles Barthe, Benjamin Grégoire, Adrien Koutsos, Vincent Laporte, Tiago Oliveira, Pierre-Yves Strub

Proceedings of the 2020 IEEE Symposium on Security and Privacy, 2020

2019

Preuves symboliques de propriétés d'indistinguabilité calculatoire. (Symbolic Proofs of Computational Indistinguishability).

Adrien Koutsos

PhD thesis, 2019

The 5G-AKA Authentication Protocol Privacy.

Adrien Koutsos

Proceedings of the IEEE European Symposium on Security and Privacy, 2019

2018

Deciding Indistinguishability.

Adrien Koutsos

CoRR, 2018

2017

Process-centric views of data-driven business artifacts.

Adrien Koutsos, Victor Vianu

J. Comput. Syst. Sci., 2017

Formal Computational Unlinkability Proofs of RFID Protocols.

Hubert Comon, Adrien Koutsos

Proceedings of the 30th IEEE Computer Security Foundations Symposium, 2017

A Sound Flow-Sensitive Heap Abstraction for the Static Analysis of Android Applications.

Stefano Calzavara, Ilya Grishchenko, Adrien Koutsos, Matteo Maffei

Proceedings of the 30th IEEE Computer Security Foundations Symposium, 2017