Confidential Computing
Informatik / Digitales

Confidential Computing

Question for general public: is your health data secure?

Question for professionals: is your sensitive data on the cloud secure? What exactly do you need to trust?

Everyone is welcome, from those seeking a very high-level introduction to the field to those seeking to delve deep into the rabbit hole of attestation!
Beginn 17:00 Uhr
Ende 00:00 Uhr

Auf einen Blick

Technische Universität Dresden (TUD)
Fakultät Informatik
Andreas-Pfitzmann-Bau
Nöthnitzer Straße 46
01187 Dresden (Dresdner Süden)
Webseite YouTube LinkedIn

Beschreibung

From confidential computing 101 for general public to ask me anything about attestation in confidential computing for professionals!


We demonstrate our 6-year research on confidential computing, and more specifically on attestation, in collaboration with Arm, Huawei, Siemens, Linaro, University of Applied Sciences Bonn-Rhein-Sieg, Barkhausen Institut, CCC Attestation SIG, EuroProofNet and others. Ask me anything about attestation!

For those interested in going deeper into the topic, I will happily discuss details of attestation in state-of-the-art Trusted Execution Environments (TEEs):

* Intel SGX DCAP: www.researchgate.net/publication/343826554_Formal_Foundations_for_Intel_SGX_Data_Center_Attestation_Primitives

* Intel TDX: www.researchgate.net/publication/351699567_Demystifying_Attestation_in_Intel_Trust_Domain_Extensions_via_Formal_Verification

* Arm CCA: www.researchgate.net/publication/375592777_Formal_Specification_and_Verification_of_Architecturally-defined_Attestation_Mechanisms_in_Arm_CCA_and_Intel_TDX

* Attested TLS: www.researchgate.net/publication/385384309_Towards_Validation_of_TLS_13_Formal_Model_and_Vulnerabilities_in_Intel's_RA-TLS_Protocol

Information zum Veranstaltungsformat

Präsentation

Stationen

Münchner Platz

  • 3 (tram)

Helmholtzstraße

  • 85 (bus)
Einstellungen Barrierefreiheit