Confidential Computing

Beschreibung

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


We demonstrate our 5-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

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