1 citations · 1 across the 2 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
cs.CR2018★ 1 cited
Deciding Indistinguishability
Adrien Koutsos
Computational indistinguishability is a key property in cryptography and verification of security protocols. Current tools for proving it rely on cryptographic game transformations…
cs.CR2018
The 5G-AKA Authentication Protocol Privacy
Adrien Koutsos
We study the 5G-AKA authentication protocol described in the 5G mobile communication standards. This version of AKA tries to achieve a better privacy than the 3G and 4G versions th…