Galileo auth needs both encrypted E6 and OSNMA key disclosure, and this paper ships an open SDR sim to poke at it.