Benutzer: Gast  Login
Wenn Sie Schwierigkeiten haben, das Dokument zu öffnen, versuchen Sie auch bitte diesen Link
Originaltitel:
Formalization and Verification of Post-Quantum Cryptography
Übersetzter Titel:
Formalisierung und Verifikation von Post-Quanten Kryptographie
Autor:
Heidler, Katharina Beate
Jahr:
2025
Dokumenttyp:
Dissertation
Fakultät/School:
TUM School of Computation, Information and Technology
Institution:
Informatik 21 - Lehrstuhl für Logik und Verifikation (N.N.)
Betreuer:
Nipkow, Tobias (Prof., Ph.D.)
Gutachter:
Nipkow, Tobias (Prof., Ph.D.); Barthe, Gilles (Prof. Dr.)
Sprache:
en
Fachgebiet:
DAT Datenverarbeitung, Informatik
TU-Systematik:
DAT 706; DAT 540
Kurzfassung:
This thesis highlights several aspects of post-quantum cryptography where formalization can be useful. These aspects include hardness assumptions, the verification of concrete crypto systems, their correctness as well as classical and quantum security proofs. I formalized the Shortest and Closest Vector Problems hardness reductions, the correctness and classical security of Kyber‘s public key encryption scheme and the One-Way to Hiding Theorem for quantum security proofs in Isabelle.
Übersetzte Kurzfassung:
Diese Dissertation beschreibt verschiedene Aspekte der Post-Quantum Kryptographie, in denen Formalisierungen helfen. Diese Aspekte beinhalten NP-härte Reduktionen, die Verifikation von Kryptosystemen, ihrer Korrektheit und der klassischen und quantum Sicherheitsbeweisen. Ich formalisiere Reduktionen der Shortest/Closest Vector Probleme, die Korrektheit und klassische Sicherheit von Kybers Public Key Verschlüsselung und das One-Way to Hiding Theorem für Quantum-Sicherheitsbeweise in Isabelle.
WWW:
https://mediatum.ub.tum.de/?id=1768293
Eingereicht am:
06.02.2025
Mündliche Prüfung:
28.05.2025
Dateigröße:
2397479 bytes
Seiten:
107
Urn (Zitierfähige URL):
https://nbn-resolving.org/urn:nbn:de:bvb:91-diss-20250528-1768293-0-4
Letzte Änderung:
04.07.2025
 BibTeX