Coding Aspects of Secure GNSS Receivers | Publicación