Kryptographisch korrekte, symbolische Beweise für Privacyeigenschaften (B03)

• Fachliche Zuordnung: Theoretische Informatik
• Förderung: Förderung von 2016 bis 2019
• Projektkennung: Deutsche Forschungsgemeinschaft (DFG) - Projektnummer 272573906

Kryptographische Protokolle werden in der Regel anhand symbolischer Abstraktionen analysiert. Dies erfordert, dass die Abstraktionen durch kryptographische Primitive sicher realisiert werden können. Bei datenschutzrelevanten Szenarien erreichen existierende Vorgehensweisen dieses Ziel nicht: sie betrachten nur eingeschränkte Programmiersprachen und Angreifer, schwache Geheimhaltungseigenschaften, und können nicht sicher kombiniert werden. Wir streben in diesem Projekt kombinierbare ¿computational soundness¿-Resultate an, die für den Datenschutz wichtige kryptographische Primitive (insbesondere Oblivious RAM) und moderne Umgebungen (insbesondere Dalvik Bytecode) adressieren, und die für starke Angreifer (insbesondere Angreifer, die das zeitliche Verhalten kryptographischer Protokolle beobachten) gelten.

• DFG-Verfahren: Sonderforschungsbereiche
• Teilprojekt zu: SFB 1223: Methoden und Instrumente zum Verständnis und zur Kontrolle von Datenschutz
• Internationaler Bezug: Frankreich
• Antragstellende Institution: Universität des Saarlandes
• Teilprojektleiterinnen / Teilprojektleiter: Professor Dr. Michael Backes; Dr. Véronique Cortier