Formal Verification of the 5G Inter-Operator Signaling Protocol

Supplementary material to the thesis submitted to Hochschule Wismar University of Applied Sciences for the degree of Master of Engineering IT-Security and Forensic.