This paper describes some key results of the UniTaS IV project, a publicly funded effort to investigate special problems in the application of satellite navigation for aviation. Among the subjects covered: adaptive beamforming antennas, a GNSS landing system that incorporates inertial sensors with a ground-based augmentation system (GBAS), multiconstellation RAIM (receiver autonomous integrity monitoring), and jamming, spoofing, and authentication of signals