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!

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)

Weitere Programmpunkte des Veranstalters

Big Data, Cloud, KI — Was ist das alles?

Technische Universität Dresden (TUD)

Informatik / Digitales

Big Data, Cloud, KI — Was ist das alles?

Die Informatik ist schnelllebig und ständig ploppen neue Begriffe auf. KI ist nur das jüngste Beispiel, davor waren Blockchain, Big Data und Cloud die Hype-Themen. Aber was ist das eigentlich alles? In diesem Vortrag versuchen wir, hinter die Kulissen zu schauen und die großen Worte ein Bisschen zu entzaubern und zu erklären. Am Ende sind das nämlich alles nur Computer.

Beginn 21:00 Uhr

Ende 21:45 Uhr

Technische Universität Dresden (TUD)

Informatik / Digitales

Reimagining Computation: Compilers, CPUs, and Beyond

Am Lehrstuhl für Compilerbau erforschen wir, wie Compiler die Lücke zwischen hochsprachlichen, meist domänen-spezifischen Programmen und einer Vielzahl moderner Hardwarearchitekturen überbrücken. Diese Demo zeigt ein einfaches Beispiel für diesen Weg. Das Ziel ist es zu veranschaulichen, wie intelligente Compilerstrategien und architektonische Innovationen zusammenwirken können, um Software schneller, effizienter und besser an die zugrunde liegende Hardware angepasst zu machen.

Beginn 17:00 Uhr

Ende 23:00 Uhr

Technische Universität Dresden (TUD)

Informatik / Digitales

Mixed-Reality, mobile, und webbasierte Informationsvisualisierung

Das Interactive Media Lab präsentiert neuartige Formen der Mensch-Computer-Interaktion. Anhand ausgewählter Forschungsprojekte wird gezeigt, wie durch die Kombination mobiler Endgeräte, Gesten und Multitouch interaktive Informationsräume auf Tischen, Displays und in Mixed Reality gesteuert und visualisiert werden können.

Beginn 18:00 Uhr

Ende 23:00 Uhr