Space Odyssey: An Experimental Software Security Analysis of Satellites. - Johannes Willbold; Moritz Schloegel; Manuel Vögele; Maximilian Gerhardt; Thorsten Holz; Ali Abbasi 002 (SP, 2023)