ProVerif

Split Keys for Station-to-Station (STS) Protocols
Aim: For authentication and key agreement, it is advisable to reduce the risks of key exposure and provide an additional level of …
Gizem Akman, Mohamed Taoufiq Damir, Philip Ginzboorg, Sampo Sovio, Valtteri Niemi
Cite DOI
Privacy-Enhanced AKMA for Multi-Access Edge Computing Mobility
Multi-access edge computing (MEC) is an emerging technology of 5G that brings cloud computing benefits closer to the user. The current …
Gizem Akman, Philip Ginzboorg, Mohamed Taoufiq Damir, Valtteri Niemi
Cite DOI