GNSS lies, GNSS truth: Spoofing detection with two-antenna differential carrier phase