Colloquia

Page 1 of 1 1

DLS in Cybersecurity: Sanctum - Towards an Open-Source, Formally-Verified Secure Processor
Architectural isolation can be used to secure computation on a remote secure processor with a private key where the privileged software is potentially malicious as recently deployed by Intel's...

Page 1 of 1 1

Service

Note

If you know about other events at the department not listed yet, please notify us at events(a-t)informatik.tu-darmstadt.de.

A A A | Drucken Print | Impressum Impressum | Sitemap Sitemap | Suche Search | Kontakt Contact | Website Analysis: More Information
zum Seitenanfangzum Seitenanfang