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