[rwth-security] Touching the Untouchables: Dynamic Security Analysis of the LTE Control Plane