TICAL: Trusted and Integrity-protected Compilation of AppLications. - Robert Krahn; Nikson Kanti Paul; Franz Gregor; Do Le Quoc; Andrey Brito; André Martin; Christof Fetzer (EDCC, 2024)