Cryptography and Satellite Navigation - Rushanan (IEEE, 2024)