Designing Secure Space Systems. - Zain Alabedin Haj Hammadeh; Mohammad Hamad; Andrzej Olchawa; Milenko Starcik; Ricardo Fradique; Stefan Langhammer; Manuel Hoffmann; Florian Göhler; Daniel Lüdtke; Michael Felderer; Sebastian Steinhorst (DATE, 2025)