Pinned Repositories
5G-AKA-Tamarin-Model
This is the Tamarin model of version 16.0.0 of the 5G AKA protocol.
Handover_Tamarin_model
tamarin code for handover authentication scheme
PUF-based-AKA-Model
tajiaodavid's Repositories
tajiaodavid/5G-AKA-Tamarin-Model
This is the Tamarin model of version 16.0.0 of the 5G AKA protocol.
tajiaodavid/Handover_Tamarin_model
tamarin code for handover authentication scheme
tajiaodavid/PUF-based-AKA-Model
tajiaodavid/SocialED
A python library for social event detection