Adrien Koutsos
Adrien Koutsos
Home
Publications
Some Talks
Teaching
Contact
CV
Light
Dark
Automatic
Publications
Type
Conference paper
Journal article
Thesis
Date
2023
2022
2021
2020
2019
2017
2015
A Higher-Order Indistinguishability Logic for Cryptographic Reasoning
David Baelde
,
Adrien Koutsos
,
Joseph Lallemand
PDF
Semantic Foundations for Cost Analysis of Pipeline-Optimized Programs
Gilles Barthe
,
Adrien Koutsos
,
Solène Mirliaz
,
David Pichardie
,
Peter Schwabe
PDF
Cite
Long version
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
PDF
Cite
Slides
Mechanized Proofs of Adversarial Complexity and Application to Universal Composability
Manuel Barbosa
,
Gilles Barthe
,
Benjamin Grégoire
,
Adrien Koutsos
,
Pierre-Yves Strub
PDF
Cite
Slides
An Interactive Prover for Protocol Verification in the Computational Model
David Baelde
,
Stéphanie Delaune
,
Charlie Jacomme
,
Adrien Koutsos
,
Solène Moreau
PDF
Cite
Slides
Long version
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
PDF
Cite
Decidability of a Sound Set of Inference Rules for Computational Indistinguishability
Adrien Koutsos
PDF
Cite
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
PDF
Cite
The 5G-AKA Authentication Protocol Privacy
Adrien Koutsos
PDF
Cite
Slides
DOI
Long version
Symbolic Proofs of Computational Indistinguishability
Adrien Koutsos
PDF
Cite
Slides
Decidability of a Sound Set of Inference Rules for Computational Indistinguishability
Adrien Koutsos
PDF
Cite
Slides
DOI
Long version
Process-centric views of data-driven business artifacts
Adrien Koutsos
,
Victor Vianu
PDF
Cite
DOI
Formal Computational Unlinkability Proofs of RFID Protocols
Hubert Comon
,
Adrien Koutsos
PDF
Cite
Slides
DOI
A Sound Flow-Sensitive Heap Abstraction for the Static Analysis of Android Applications
Stefano Calzavara
,
Ilya Grishchenko
,
Adrien Koutsos
,
Matteo Maffei
PDF
Cite
DOI
Long version
Process-Centric Views of Data-Driven Business Artifacts
Adrien Koutsos
,
Victor Vianu
PDF
Cite
DOI
Cite
×