Post-correlation signal analysis to detect spoofing attacks in GNSS receivers | IEEE Conference Publication | IEEE Xplore