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