Formal security guarantees for trustworthy hardware supply chains / Dominik Sisejkovic, Lennart M. Reimann, Maja Malenko, Rainer Leupers ; Herausgeberin: Agentur für Innovation in der Cybersicherheit GmbH

Germek, DominikReimann, Lennart MichaelMalenko, MajaLeupers, RainerAgentur für Innovation in der Cybersicherheit2026-03-062023https://epflicht.bibliothek.uni-halle.de/handle/123456789/1178411963578074urn:nbn:de:gbv:3:2-123456789-11784121 Online-Ressource (96 Seiten, 3,06 MB) : Diagrammeenghttps://creativecommons.org/licenses/by-nc-nd/4.0/005.8Formal security guarantees for trustworthy hardware supply chains / Dominik Sisejkovic, Lennart M. Reimann, Maja Malenko, Rainer Leupers ; Herausgeberin: Agentur für Innovation in der Cybersicherheit GmbH