Confidential Computing
Informatik / Digitales

Confidential Computing

Frage an die Allgemeinheit: Sind Ihre Gesundheitsdaten sicher?

Frage für Fachleute: Sind Ihre sensiblen Daten in der Cloud sicher? Worauf genau müssen Sie vertrauen?

Jeder ist willkommen, von denjenigen, die eine Einführung in das Thema auf hohem Niveau suchen, bis zu denjenigen, die tief in den Kaninchenbau der Bescheinigung eintauchen wollen!
+ zur Merkliste hinzufügen - von Merkliste entfernen
Beginn 17:00 Uhr
Ende 00:00 Uhr

Auf einen Blick

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

Beschreibung

Von „Vertrauliches Rechnen 101“ für die Allgemeinheit bis zu „Fragen Sie mich alles über Attestierung im vertraulichen Rechnen für Profis!

Wir demonstrieren unsere fünfjährige Forschung im Bereich der vertraulichen Datenverarbeitung und insbesondere der Attestierung in Zusammenarbeit mit Arm, Huawei, Siemens, Linaro, der Fachhochschule Bonn-Rhein-Sieg, dem Barkhausen Institut, CCC Attestation SIG, EuroProofNet und anderen. Fragen Sie mich alles über Attestierung!

Für diejenigen, die tiefer in das Thema einsteigen wollen, bin ich gerne bereit, Details der Attestierung in modernen Trusted Execution Environments (TEEs) zu diskutieren:

* 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

Information zum Veranstaltungsformat

Präsentation

Stationen

Münchner Platz

  • 3 (tram)

Helmholtzstraße

  • 85 (bus)
Einstellungen Barrierefreiheit