Adrien Koutsos | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Generator

Featured Co-authors

Gilles Barthe
30 publications
Matteo Maffei
16 publications
Stefano Calzavara
11 publications
Pierre-Yves Strub
8 publications
Tiago Oliveira
5 publications
Manuel Barbosa
4 publications
Ilya Grishchenko
4 publications
Benjamin Grégoire
3 publications
José Bacelar Almeida
2 publications
Vincent Laporte
1 publication

research

∙ 04/09/2019

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

We develop a new approach for building cryptographic implementations. Ou...

0 José Bacelar Almeida, et al. ∙

research

∙ 11/16/2018

Deciding Indistinguishability

Computational indistinguishability is a key property in cryptography and...

0 Adrien Koutsos, et al. ∙

research

∙ 11/16/2018

The 5G-AKA Authentication Protocol Privacy

We study the 5G-AKA authentication protocol described in the 5G mobile c...

0 Adrien Koutsos, et al. ∙

research

∙ 05/30/2017

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

The present paper proposes the first static analysis for Android applica...

0 Stefano Calzavara, et al. ∙