Confidential Computing
Computer Science / Digital

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!
+ Add to watchlist - Remove from watchlist
Start 17:00 o'clock
End 00:00 o'clock

At a glance

Technische Universität Dresden (TUD)
Chair of Systems Engineering
Andreas-Pfitzmann-Bau
Foyer
Nöthnitzer Straße 46
01187 Dresden (Dresdner Süden)
Muhammad Usama Sardar, Chair of Systems Engineering
Website YouTube

Description

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

* Identity crisis
www.researchgate.net/publication/398839141_Identity_Crisis_in_Confidential_Computing_Formal_Analysis_of_Attested_TLS

Code and all technical presentations are available here:
github.com/CCC-Attestation/formal-spec-id-crisis, github.com/CCC-Attestation/formal-spec-TEE and
github.com/CCC-Attestation/formal-spec-KBS

Information on the event format

Presentation Exhibition Quiz

Stations

Münchner Platz

  • 3 (tram)

Helmholtzstraße

  • 85 (bus)

Further events of the organizer

Confidential Computing
Technische Universität Dresden (TUD)
Computer Science / Digital

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!

Start 17:00 o'clock
End 00:00 o'clock