Authentication vulnerability in most recent 5G drafts, found by formal methods #1 Post by savara » Fri, Feb 09, 2018, 4:19 PM UTC Authentication vulnerability in most recent 5G drafts, found by formal methodscs.ox.ac.uk