Compiler für Privatsphäre-erhaltende Protokolle (E04)

• Fachliche Zuordnung: Softwaretechnik und Programmiersprachen
• Förderung: Förderung seit 2014
• Projektkennung: Deutsche Forschungsgemeinschaft (DFG) - Projektnummer 236615297

Ziele des Projekts sind die Entwicklung skalierbarer, effizienter, privatsphäre-erhaltender Multi-Party-Computation (MPC)-Protokolle und die Unterstützung von Entwicklern durch Tools, die automatisiert sichere MPC Protokolle generieren. MPC ermöglicht die vertrauliche Verarbeitung sensibler Daten in der Praxis. Um deren Effizienz zu erhöhen, entwickelt das Projekt hierarchische MPC-Protokolle, die sich auf eine große Anzahl von Teilnehmern skalieren lassen, ohne jedoch die Privatsphäregarantien zu schwächen. Um mehr Agilität zu erzielen, erweitert das Projekt bestehende Tools, so dass die automatisierte und optimale Kombination von vielen kryptographischen Protokollen und Primitiven möglich wird.

• DFG-Verfahren: Sonderforschungsbereiche
• Teilprojekt zu: SFB 1119: CROSSING - Kryptographiebasierte Sicherheitslösungen als Grundlage für Vertrauen in heutigen und zukünftigen IT-Systemen
• Antragstellende Institution: Technische Universität Darmstadt
• Teilprojektleiter: Professor Dr. Stefan Katzenbeisser, von 7/2018 bis 6/2022; Professor Dr.-Ing. Ahmad-Reza Sadeghi, bis 6/2018; Professor Dr.-Ing. Thomas Schneider