Adrien KOUTSOS

PhD Defence

The page of my PhD defence can be found here.

I am currently a postdoctoral reseracher at the MPI for Security and Privacy, Bochum, with Gilles Barthe.

The Last Mile: High-Assurance and High-Speed Cryptographic Implementations, accepted at S&P 2020: arxiv.
Decidability of a Sound Set of Inference Rules for Computational Indistinguishability, accepted at CSF 2019: arxiv, pdf.
The 5G-AKA Authentication Protocol Privacy, accepted at EuroS&P 2019: arxiv, pdf.

My older works can be found here.

High-Assurance and High-Speed Cryptographic Implementations Using the Jasmin Language: Celtic seminar, Rennes (09/10/2019)
The 5G-AKA Authentication Protocol Privacy: SoSySec seminar, Rennes (18/01/2019)
Deciding Indistinguishability: A Decision Result for a Set of Cryptographic Game Transformations : TECAP meeting, LSV (14/03/2018)
Authentification: application aux mineurs: workshop sur la protection de la jeunesse en ligne, ENS Paris Saclay, (26/01/2018)
Formal Computational Unlinkability Proofs of RFID Protocols CSF 2017, Santa Barbara, (22/08/2017)
Formal Computational Unlinkability Proofs of RFID Protocols Sequoia meeting, LSV, (Spring 2017)

Les sujets des évaluation en TD: sujet 1 et sujet 2.

Les sujets des TPs notés: sujet 1 et sujet 2.

Le sujet du DM de 2016.

Les sujets d'examen de 2016 et 2017.

Le sujet du DM, à rendre avant 14h le mercredi 20 janvier: sujet, correction

Le DM de 2016: sujet, correction

Le sujet d'examen de 2017: sujet, correction

Le sujet d'examen de 2016: sujet, correction

Le sujet avec correction du DM de 2017/2018, et de 2016/2017