Scharfe Reduktionen in der Kryptographie

• Applicant: Professor Dr.-Ing. Tibor Jager
• Subject Area: Theoretical Computer Science
• Term: from 2015 to 2019
• Project identifier: Deutsche Forschungsgemeinschaft (DFG) - Project number 265919409

• Final Report Year: 2019

Final Report Abstract

Dieses Projekt hat untersucht, inwiefern beweisbar sichere Kryptosysteme in der Praxis so instantiiert werden können, dass die theoretischen Sicherheitsbeweise eine Bedeutung für die praktische Sicherheit haben. Hierbei ist die sogenannte „tightness“ des Sicherheitsbeweises relevant. Ein Verfahren mit einem tighten Sicherheitsbeweis kann in der Praxis besonders effizient instantiiert werden. Im Rahmen des Projektes wurde zunächst gezeigt, dass viele Verfahren im allgemeinen keinen tighten Sicherheitsbeweis haben können, wenn man von heute üblichen Beweistechniken und realistischen Sicherheitszielen ausgeht. Basierend auf diesen Einsichten wurden zusammen mit neuen kryptographischen Verfahren auch neue Beweistechniken entwickelt, welche die Unmöglichkeitsergebnisse umgehen können und so für die neuen Verfahren erstmals „tighte“ Sicherheit erreichen. Das Projekt konnte sehr erfolgreich wissenschaftlich signifikante Beitraäge zur Beantwortung einer fundamentalen Frage in der modernen Kryptographie, der Erreichbarkeit von tighten Sicherheitsbeweisen, leisten.

Publications

• On the Impossibility of Tight Cryptographic Reductions. 35th Annual International Conference on the Theory and Applications of Cryptographic Techniques - EUROCRYPT 2016
  Christoph Bader, Tibor Jager, Yong Li, Sven Schäge
  (See online at https://doi.org/10.1007/978-3-662-49896-5_10)
• Multi-Key Authenticated Encryption with Corruptions: Reductions are Lossy. Fifteenth IACR Theory of Cryptography Conference - TCC 2017
  Tibor Jager, Martijn Stam, Ryan Stanley-Oakes, Bogdan Warinschi
  (See online at https://dx.doi.org/10.1007/978-3-319-70500-2_14)
• Practical and Tightly-Secure Digital Signatures and Authenticated Key Exchange. 38th International Cryptology Conference - CRYPTO 2018
  Kristian Gjøsteen, Tibor Jager
  (See online at https://doi.org/10.1007/978-3-319-96881-0_4)
• Short Digital Signatures and ID-KEMs via Truncation Collision Resistance. 24th Annual International Conference on the Theory and Applications of Cryptology and Information Security - ASIACRYPT 2018
  Tibor Jager, Rafael Kurek
  (See online at https://doi.org/10.1007/978-3-030-03329-3_8)
• Simple and More Efficient PRFs with Tight Security from LWE and Matrix-DDH. 24th Annual International Conference on the Theory and Applications of Cryptology and Information Security - ASIACRYPT 2018
  Tibor Jager, Rafael Kurek, Jiaxin Pan
  (See online at https://doi.org/10.1007/978-3-030-03332-3_18)
• Highly Efficient Key Exchange Protocols with Optimal Tightness. 39th International Cryptology Conference - CRYPTO 2019
  Cas Cremers, Katriel Cohn-Gordon, Kristian Gjøsteen, Håkon Jacobsen, Tibor Jager
  (See online at https://doi.org/10.1007/978-3-030-26954-8_25)