Security and Protocol Exploit Analysis of the 5G Specifications | Synapse