Embodiments are generally directed to anti-spoofing techniques for satellite navigation systems. In general, the anti-spoofing techniques use codeless or semi-codeless tracking of encrypted satellite signals to generate measurements that can be used to perform consistency checks to received non-encrypted signals. The consistency checks will detect if the non-encrypted signal is a genuine satellite signal or a spoofing signal.