1. 3GPP. https://www.3gpp.org/
2. 5G. https://www.etsi.org/technologies/mobile/5g
3. 5G & Beyond. https://www.nist.gov/programs-projects/5g-beyond
4. Tamarin prover. https://github.com/tamarin-prover
5. 3GPP TS 33.501: Security architecture and procedures for 5G system (Release 17), September 2022. https://portal.3gpp.org/desktopmodules/Specifications/SpecificationDetails.aspx?specificationId=3169