Master Computer Science



The following thesis was written by a student in the 2018-2019 class of the Master Computer Science programme at Leiden University.


Thesis details

TitleFormal Analysis and Improvement of the PKMv3 and 5G AKA Protocols
StudentXu, Yuanmin
ProgrammeMaster Computer Science
Year2018-2019
Thesis Open Thesis PDF

Citation details

Xu, Yuanmin, Formal Analysis and Improvement of the PKMv3 and 5G AKA Protocols, Thesis Master Computer Science, LIACS, Leiden University, 2019.