Vulnerability analysis and verification for LTE initial synchronization mechanism | IEEE Conference Publication | IEEE Xplore