Authentication vulnerability in most recent 5G drafts, found by formal methods | Heykuki News