3 ms·Authentication vulnerability in most recent 5G drafts, found by formal methods4 points by savara 9y ago