Back

Auf #HiPEAC23 in Toulouse sprach Dr. Jester @cyberjestr von der @Cyberagentur im Workshop „Secure Hardware“ über vertrauenswürdige IT und ein „Ökosystem vertrauenswürdige IT (#ÖvIT)“. Ein Projekt, um mit formalen Methoden Sicherheitseigenschaften von der Hardware und ihren Lieferketten über das Betriebssystem bis hin zur Anwendung möglichst durchgängig beweisbar zu machen. Ziel: Stärkung der inneren und äußeren Sicherheit Deutschlands und der technologischen Souveränität. https://www.hipeac.net/2023/toulouse/#/