DFG-Förderung für Kryptographie
Dieses Projekt befasst sich mit einem der grundlegendsten Grundbausteine der Kryptographie, den Schlüsselaustauschprotokollen. Wir entwickeln effiziente Protokolle mit starken Sicherheitsgarantien. Insbesondere erarbeitet das Projekt neue Techniken, um Sicherheit mit speicheroptimierten Reduktionen zu beweisen. Dies ist eine sehr wünschenswerte Eigenschaft für wichtige post-quantensichere Protokolle. Neben Effizienz und Speicheroptimierung stärken wir die Robustheit von Schlüsselaustauschprotokollen, indem wir Protokolle entwickeln, die auch dann sicher sind, wenn die (zentralen) Public-Key-Infrastrukturen nicht vollständig vertrauenswürdig sind. Das Projekt ist auf drei Jahre angelegt und unterstützt die Weiterentwicklung unserer wachsenden Forschungsgruppe. Wir freuen uns sehr über diese Förderung und blicken gespannt auf die bevorstehende Forschung.