First Galileo SAS Authenticated Time Solution

arXiv:2609.15824 · cs.CR, eess.SP · Submitted 2026-09-14 · Read on arXiv

cs.CR, eess.SP

Submitted: 2026-09-14

Updated: 2026-09-14

Comments: This work has been submitted to IEEE NAVICON for possible publication

Code: https://github.com/SPCOMNAV/GalileoSASlib

License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/

Terminology

• Calibration — 6× in this paper · explained in 7 episodes
• Signal Authentication Service — 4× in this paper
• Accuracy — 3× in this paper · explained in 1 episode
• Decode — 2× in this paper · explained in 2 episodes
• Open Service Navigation Message Authentication — 2× in this paper
• Quantization — 2× in this paper · explained in 12 episodes
• Adaptation — 1× in this paper · explained in 1 episode
• Consistency — 1× in this paper · explained in 3 episodes
• E6C Broadcast Group Delay — 1× in this paper
• Encrypted Code Sequences — 1× in this paper
• European GNSS Service Centre — 1× in this paper
• Galileo High Accuracy Service — 1× in this paper
• Galileo System Time — 1× in this paper
• Time Between Authentications — 1× in this paper
• Timed Efficient Stream Loss-Tolerant Authentication — 1× in this paper

Related papers

• SoK: AI-Augmented Binary Reversing
• Relaxed Sender Anonymity for CBDC Interbank Settlement: A Zero-Knowledge Approach on Permissioned EVM
• Calibration-Family Overfit: Why Trusted Sabotage Monitors Don't Transfer Across Lineages
• Efficient Fuzzy PSI under One-Sided Assumptions
• Sealing the Audit-Runtime Gap for LLM Skills
• Token Composition: A Graph Based on EVM Logs