Adrien Koutsos

Identifiers

No identifiers captured yet.

Papers (5)

1. The Last Mile: High-Assurance and High-Speed Cryptographic Implementations cs.CR · 2019 · author #5
2. Deciding Indistinguishability cs.CR · 2018 · author #1
3. The 5G-AKA Authentication Protocol Privacy cs.CR · 2018 · author #1
4. A Sound Flow-Sensitive Heap Abstraction for the Static Analysis of Android Applications cs.CR · 2017 · author #3
5. Formal Computational Unlinkability Proofs of RFID Protocols cs.CR · 2017 · author #2

Mentions

No mention provenance yet.

Frequent Coauthors

• Benjamin Gr\'egoire 1 shared papers
• Gilles Barthe 1 shared papers
• Hubert Comon 1 shared papers
• Ilya Grishchenko 1 shared papers
• Jos\'e Bacelar Almeida 1 shared papers
• Manuel Barbosa 1 shared papers
• Matteo Maffei 1 shared papers
• Pierre-Yves Strub 1 shared papers
• Stefano Calzavara 1 shared papers
• Tiago Oliveira 1 shared papers
• Vincent Laporte 1 shared papers