Den vollständigen Blog-Beitrag finden Sie auf Englisch hier:
»Towards Classical Software Verification using Quantum Computers«
Eine behutsame Einführung in die gitterbasierte Post-Quanten-Kryptografie
Maximilian Richter
Ansätze zur Verifikation klassischer Software mit Quantencomputern
In diesem Beitrag untersuchen wir die Möglichkeit, die formale Verifikation klassischer Programme mithilfe von Quantencomputern zu beschleunigen. Häufige Programmierfehler wie Nullzeiger-Dereferenzierung und Zugriffe außerhalb von Array-Grenzen gehören zu den Hauptursachen für Sicherheitslücken. Unser Ansatz besteht darin, aus Codeausschnitten eine SAT-Instanz (Satisfiability) zu generieren, die genau dann erfüllbar ist, wenn das unerwünschte Verhalten im Programm vorhanden ist. Diese Instanz wird anschließend in ein Optimierungsproblem überführt, das mithilfe quantenbasierter Algorithmen gelöst wird – was potenziell eine asymptotisch polynomielle Beschleunigung ermöglicht.
Most Popular
Weitere Artikel
Codyze: Automatisierte Analyse von Cybersicherheitsanforderungen im Software-Code
Alexander Küchler
1. Juli 2026
Die manuelle Überprüfung der Einhaltung von regulatorischen Anforderungen wie den Bestimmungen des Cyber Resilience Acts ist nicht skalierbar. Unser Code-Analyse-Tool Codyze wandelt produktbezogene Anforderungen in überprüfbare Regeln um und bewertet automatisch, ob der Quellcode des Produkts diese erfüllt – sprach- und mikroserviceübergreifend. Zudem legt Codyze alle Analyseergebnisse für Entwickler, Sicherheitsteams und Auditoren transparent dar.
Laboruntersuchung zur Sicherheit der OpenTitan-Silizium-Root-of-Trust
Nisha Jacob Kabakci
3. Juni 2026
Das Fraunhofer AISEC hat in Zusammenarbeit mit Google und lowRISC® die Hardware-Sicherheit des OpenTitan-Chip (OpenTitan-Silicon-Root-of-Trust) untersucht. Ziel war es, die Sicherheit von OpenTitan® unter einem starken Angriffsmodell zu analysieren, bevor der Einsatz in Servern und Chromebooks erfolgt. Die Evaluierung untersuchte die zentralen Sicherheitseigenschaften von OpenTitan und führte zu mehreren Härtungsmaßnahmen sowie Verbesserungen der Sicherheit.
Vom Warnsignal zur Werkbank: das PQC-Update 2026 zeigt, dass die Post-Quanten-Ära begonnen hat
Daniel Loebenberger
8. Mai 2026
Als wir das PQC-Update 2026 eröffneten, stand eine Frage im Raum: Ist Post-Quanten-Kryptografie noch Zukunftsmusik – oder längst Alltag für Behörden, Industrie und Standards? Die Antworten unserer Vortragenden waren überraschend konkret: Niederländische Leitfäden, deutsche Ausweise mit PQC, neue Sicherheitschips, aktualisierte Internet-Standards, Roadmaps einer kritischen Infrastruktur und Werkzeuge, die schon heute Ihre Krypto-Altlasten sichtbar machen. Wer nur wissen will, ob man sich jetzt kümmern muss: Ja. Wer wissen will, wie, liest weiter.