The AKMA+ project provides two primary repositories on GitHub, each containing essential components that illustrate the functions and properties of the AKMA+ protocol: 1. AKMA-Plus-C-version (1) Overview: This repository contains the C-language implementation of the AKMA+ protocol, facilitating its integration and testing within 5G communication systems. (2) Main Components: - UE (User Equipment): Implements the client-side operations of the AKMA+ protocol, handling authentication requests and secure communications. - HN (Home Network): Manages user credentials and authentication processes, ensuring secure key distribution and management. - AF (Application Function): Represents the application services interacting with the UE, utilizing the AKMA+ protocol for secure communications. (3) Relation to Open-Science Commitment: By providing this implementation, the authors fulfill their promise to share the AKMA+ protocol's source code, enabling reproducibility and further research by the community. 2. AKMA-Plus-Tamarin (1) Overview: This repository includes the Tamarin Prover models used for the formal verification of AKMA+'s security properties. (2) Main Components: - AKMA_plus.spthy: Contains the formal specification of the AKMA+ protocol, defining the sequence of operations and messages exchanged between entities. - Lemmas: Embedded within the specification are lemmas representing critical security properties, such as UE indistinguishability, session key secrecy, forward secrecy, and mutual authentication. (3) Relation to Open-Science Commitment: Sharing these formal models allows others to verify the security claims made in the paper, promoting transparency and trust in the protocol's design.