Im 20. Jahrhundert hat sich die theoretische Informatik überwiegend der Untersuchung der sequentiellen Rechnermodelle gewidmet, die der Vorstellung von Neumanns entsprechen. Was sollten die zukünftigen Kernprobleme der Kerninformatik sein? Die Vernetzung der Rechner stellt den Nutzer nicht mehr vor einen Rechner, sondern vor eine unübersichtliche vernetzte Welt von vielen asynchronen und unvorhersehbaren Aktivitäten. Das Verständnis vom Rechnen in der vernetzten Welt ist derzeit nicht sehr tief und seine Entwicklung wird eine der Hauptaufgaben der Informatik sein. Die Vielfalt der Forschungsfragen, die im Zusammenhang mit verteiltem Rechnen, Kooperation und Kommunikation zwischen Rechnern, Prozessoren und Menschen gestellt worden sind, kann man in dieser beschränkten Übersicht gar nicht vorstellen. Die Probleme bezogen auf den Entwurf und die Analyse von effizienten Kommunikationsalgorithmen (Protokollen) und auf den Entwurf von leistungsfähigen Netzen sind stark von den zugänglichen Technologien abhängig. Diese Technologien entwickelten sich schnell aus klassischen Telefonverbindungen bis zu optischen Netzen, und jede Technologie ist an anderen Problemen und Fragestellungen interessiert. Weil wir keine Möglichkeit sehen, eine kurze, verständliche Übersicht über dieses Thema zu geben, beschränken wir uns hier auf das Gebiet der Kryptographie, das der sicheren Kommunikation gewidmet ist.
Im 20. Jahrhundert hat sich die theoretische Informatik überwiegend der Untersuchung der sequentiellen Rechnermodelle gewidmet, die der Vorstellung von Neumanns entsprechen. Was sollten die zukünftigen Kernprobleme der Kerninformatik sein? Die Vernetzung der Rechner stellt den Nutzer nicht mehr vor einen Rechner, sondern vor eine unübersichtliche vernetzte Welt von vielen asynchronen und unvorhersehbaren Aktivitäten. Das Verständnis vom Rechnen in der vernetzten Welt ist derzeit nicht sehr tief und seine Entwicklung wird eine der Hauptaufgaben der Informatik sein. Die Vielfalt der Forschungsfragen, die im Zusammenhang mit verteiltem Rechnen, Kooperation und Kommunikation zwischen Rechnern, Prozessoren und Menschen gestellt worden sind, kann man in dieser beschränkten Übersicht gar nicht vorstellen. Die Probleme bezogen auf den Entwurf und die Analyse von effizienten Kommunikationsalgorithmen (Protokollen) und auf den Entwurf von leistungsfähigen Netzen sind stark von den zugänglichen Technologien abhängig. Diese Technologien entwickelten sich schnell aus klassischen Telefonverbindungen bis zu optischen Netzen, und jede Technologie ist an anderen Problemen und Fragestellungen interessiert. Weil wir keine Möglichkeit sehen, eine kurze, verständliche Übersicht über dieses Thema zu geben, beschränken wir uns hier auf das Gebiet der Kryptographie, das der sicheren Kommunikation gewidmet ist.
Die Bedeutung der Quantenmechanik ist in der Physik über die letzten Jahrzehn te ständig gestiegen.Sie ist natürlich ein wesentliches Werkzeug, um Struktur und Dynamik von mikroskopischen Körpern zu verstehen, etwa von Atomen, Molekülen sowie ihrer Wechselwirkung mit elektromagnetischer Strahlung.Die Quantenme chanik liefert aber auch das grundlegende Verständnis für zahlreiche technische Systeme: Quellen von Laserlicht (mit Anwendungen in Telekommunikation, Medi zintechnik, Materialbearbeitung), Atomuhren (zentrale Bausteine insbesondere für die Navigationssysteme GPS und Galileo), Transistoren (Computer-und Kommuni kationstechnik), bildgebende Tomographen per Magnetresonanz, Energiegewinnung (Solarzellen, Kerntechnik) usw.-die Liste der Anwendungen hört praktisch nicht auf.Überraschende physikalische Erscheinungen wie Supraflüssigkeiten und Supraleiter haben eine quantenmechanische Erklärung.Großes Interesse wird derzeit bestimm ten verschränkten Quanten-Zuständen gewidmet, die nicht-intuitive Eigenschaften aufweisen: sie sind nicht-lokal, nicht in ihre Teile separierbar und versprechen bemer kenswerte Anwendungen auf dem Gebiet der Quanten-Informatik.Unsere Zivilisation wird also mehr und mehr von technologischen Anwendungen durchdrungen, deren Wurzeln in den Konzepten der Quantenmechanik liegen.Demzufolge verdient das Lernen und Lehren dieser Konzepte besondere Aufmerksamkeit.Das vorliegende dreibändige Werk will einen Beitrag zu diesem Ziel leisten.In der Tat können die ersten Kontakte mit der Quantenmechanik sehr verstörend sein.Dieses Buch entstand aus zahlreichen Lehrveranstaltungen für Studierende mit dem Vorsatz, ihnen den Zugang zu erleichtern und das Verständnis der Leserin und des Lesers von Anfang an bis auf ein fortgeschrittenes Niveau hin stetig zu vertiefen.Die ersten beiden Bände erschienen vor mehr als vierzig Jahren in erster Auflage, sie fanden auf allen Kontinenten Verwendung und wurden in viele Sprachen übersetzt.Sie beschränkten sich inhaltlich allerdings auf ein mittleres Niveau; seit 2017 wer den sie durch den dritten Band ergänzt, der den Lesern erlaubt, weitere Schritte zu gehen.Das gesamte Werk verfolgt systematisch die Strategie, sich den Fragestellun gen schrittweise zu nähern: keine Schwierigkeit wird verschwiegen, und jeder Aspekt der diversen Probleme wird im Detail besprochen.Dabei erinnern wir oft an die Be griffe aus der klassischen Physik (d.h.aus der makroskopischen Welt oder vor der Quanten-Ära).Dieser Wunsch, den Dingen auf den Grund zu gehen, nichts zu "vertuschen" und keine "Abkürzungen" einzuschlagen, spiegelt sich in der Struktur des Lehrwerks wider: der Leser findet zwei verschiedene, aber ineinander verschränkte Stränge -Kapitel und Ergänzungen.Die Kapitel stellen in ihrer Abfolge die Ideen und Begriffe allgemein vor.Auf jedes Kapitel folgen eine oder mehrere Ergänzungen, die die zuvor erarbeiteten Methoden und Konzepte illustrieren.Die Ergänzungen sind voneinander unabhängig, ihr Ziel ist es, einen breiten Fächer von Anwendungen und interessanten
Die Bedeutung der Quantenmechanik ist in der Physik über die letzten Jahrzehn te ständig gestiegen.Sie ist natürlich ein wesentliches Werkzeug, um Struktur und Dynamik von mikroskopischen Körpern zu verstehen, etwa von Atomen, Molekülen sowie ihrer Wechselwirkung mit elektromagnetischer Strahlung.Die Quantenme chanik liefert aber auch das grundlegende Verständnis für zahlreiche technische Systeme: Quellen von Laserlicht (mit Anwendungen in Telekommunikation, Medi zintechnik, Materialbearbeitung), Atomuhren (zentrale Bausteine insbesondere für die Navigationssysteme GPS und Galileo), Transistoren (Computer-und Kommuni kationstechnik), bildgebende Tomographen per Magnetresonanz, Energiegewinnung (Solarzellen, Kerntechnik) usw.-die Liste der Anwendungen hört praktisch nicht auf.Überraschende physikalische Erscheinungen wie Supraflüssigkeiten und Supraleiter haben eine quantenmechanische Erklärung.Großes Interesse wird derzeit bestimm ten verschränkten Quanten-Zuständen gewidmet, die nicht-intuitive Eigenschaften aufweisen: sie sind nicht-lokal, nicht in ihre Teile separierbar und versprechen bemer kenswerte Anwendungen auf dem Gebiet der Quanten-Informatik.Unsere Zivilisation wird also mehr und mehr von technologischen Anwendungen durchdrungen, deren Wurzeln in den Konzepten der Quantenmechanik liegen.Demzufolge verdient das Lernen und Lehren dieser Konzepte besondere Aufmerksamkeit.Das vorliegende dreibändige Werk will einen Beitrag zu diesem Ziel leisten.In der Tat können die ersten Kontakte mit der Quantenmechanik sehr verstörend sein.Dieses Buch entstand aus zahlreichen Lehrveranstaltungen für Studierende mit dem Vorsatz, ihnen den Zugang zu erleichtern und das Verständnis der Leserin und des Lesers von Anfang an bis auf ein fortgeschrittenes Niveau hin stetig zu vertiefen.Die ersten beiden Bände erschienen vor mehr als vierzig Jahren in erster Auflage, sie fanden auf allen Kontinenten Verwendung und wurden in viele Sprachen übersetzt.Sie beschränkten sich inhaltlich allerdings auf ein mittleres Niveau; seit 2017 wer den sie durch den dritten Band ergänzt, der den Lesern erlaubt, weitere Schritte zu gehen.Das gesamte Werk verfolgt systematisch die Strategie, sich den Fragestellun gen schrittweise zu nähern: keine Schwierigkeit wird verschwiegen, und jeder Aspekt der diversen Probleme wird im Detail besprochen.Dabei erinnern wir oft an die Be griffe aus der klassischen Physik (d.h.aus der makroskopischen Welt oder vor der Quanten-Ära).Dieser Wunsch, den Dingen auf den Grund zu gehen, nichts zu "vertuschen" und keine "Abkürzungen" einzuschlagen, spiegelt sich in der Struktur des Lehrwerks wider: der Leser findet zwei verschiedene, aber ineinander verschränkte Stränge -Kapitel und Ergänzungen.Die Kapitel stellen in ihrer Abfolge die Ideen und Begriffe allgemein vor.Auf jedes Kapitel folgen eine oder mehrere Ergänzungen, die die zuvor erarbeiteten Methoden und Konzepte illustrieren.Die Ergänzungen sind voneinander unabhängig, ihr Ziel ist es, einen breiten Fächer von Anwendungen und interessanten
Quantenschlusselverteilung erlaubt den Austausch von sicheren Schlusseln basierend auf den Gesetzen der Quantenmechanik. Diese Schlussel werden verwendet, um Nachrichten mithilfe der Vernamchiffre zu kodieren. Unter der Annahme, dass die Theorie der Quantenmechanik korrekt ist und dass der Aufbau korrekt implementiert wird, sind diese kryptografischen Systeme bedingungslos sicher. Bedingungslose Sicherheit bedeutet, dass die Sicherheit nicht von der Rechenleistung und der Angriffsstrategie eines potenziellen Lauschers abhangt. Da die benotigten Qubits als Photonen durch die Glasfaberkabel gesendet werden, ist die Quantenschlusselverteilung aufgrund der Verluste im Kabel leider auf wenige Hundert Kilometer beschrankt. Um dieses Problem zu beheben, wurden Quanten-Repeater eingefuhrt. In der klassischen Telekommunikationstechnik verstarken Repeater das vorhandene Signal; in der Quantentheorie ist jedoch jegliches Kopieren von unbekannten Quantenzustanden durch das no-cloning Theorem verboten. Quanten-Repeater hingegen konnen Verschrankung zwischen Qubits erzeugen, die Hunderte bis Tausende Kilometern entfernt sind. Dabei basieren sie auf fundamentalen Konzepten aus der Quanteninformationstheorie wie Verschrankungstausch und Verschrankungsdestillierung.
Diese Arbeit befasst sich mit zwei Themen aus der Quantenkommunikation: Quantenschlusselverteilung uber weite Strecken mithilfe von Quanten-Repeatern und die Sicherheitsanalyse fur Schlussel im Bereich von endlich vielen Signalen.
Einerseits werden sichere Schlusselraten mithilfe von Quanten-Repeatern fur unendlich viele Signale untersucht. Zu diesem Zweck prasentieren wir Fehlermodelle fur die Komponenten eines Quanten-Repeaters. Wir fuhren eine quantitative Analyse der optimalen sicheren Schlusselraten fur relevante experimentelle Parameter von verschiedenen Implementierungen des Repeaters durch. Unter diesen Implementierungen sind der ursprungliche Quanten-Repeater, der hybride Quanten-Repeater, der Quanten-Repeater bestehend aus atomaren Ensembles und ein Quanten-Repeater basierend auf Fehlerkorrektur-Codes. Wir finden heraus, dass der ursprungliche Quanten-Repeater mehr Gatterfehler als der hybride Quanten-Repeater tolerieren kann und dass der Quanten-Repeater bestehend aus atomaren Ensembles robust gegen realistische Fehler ist. Wir untersuchen auch den Einfluss von unterschiedlichen Destillierungsstrategien (Destillierungsprotokolle und Anzahl der Destillierungsrunden in jedem Zwischenschritt des Quanten-Repeaters) auf den ursprunglichen Quanten-Repeater und konnen quantitative Aussagen uber die Strategien machen, die zu einer maximalen sicheren Schlusselrate fuhren. Wir leiten die Erzeugungsrate fur verschrankte Paare unter Berucksichtigung der klassischen Kommunikationszeit, die fur den Verschrankungstausch und die Verschrankungsdestillierung benotigt wird, her. Des Weiteren analysieren wir, ob verschiedene Destillierungstechniken oder Fehlerkorrektur-Codes von Vorteil bezuglich der sicheren Schlusselrate sind, da der Quanten-Repeater mithilfe von Fehlerkorrektur-Codes weniger klassische Kommunikation braucht. Wir kommen zu dem Ergebnis, dass ersterer Repeater von Vorteil ist fur die hier betrachtete Parameterregion.
Andererseits ist diese Arbeit der Quantenschlusselverteilung ohne Repeater gewidmet. Wir leiten eine Grenze fur die sichere Schlusselrate fur endlich viele Signale unter der Annahme der allgemeinsten Form von Lauschangriffen (koharente Attacke) her. Bisher ist nicht viel uber den Unterschied von sicheren Schlusselraten unter kollektiven und koharenten Lauschangriffen fur eine endliche Anzahl von Signalen bekannt; aber im Limes von unendlich vielen Signalen existiert eine Aquivalenz. Unsere Resultate deuten allerdings darauf hin, dass das fur endlich viele Signale nicht stimmt.
Zusammenfassung Für den nächsten Konjunkturzyklus benötigen wir viel mehr Rechenkapazität und Computer mit Transistortechnologie kommen an ihre Grenzen. Es sind also neue Innovationen gefragt. Der Quantencomputer, der das binäre System aushebelt und nicht auf Mikroprozessoren aus Silizium basiert, könnte eine Lösung sein. Diese Technologie wird sich exponentiell weiter entwickeln und nachhaltige Auswirkungen auf Wissenschaft, Wirtschaft und Gesellschaft haben. Speziell die Quantenkommunikation bietet eine vollständig neuartige Möglichkeit verteilter Rechenleistung, indem sie erlaubt Quantencomputer über Quantenkanäle zu vernetzen und so intrinsisch sichere Kommunikation zu gewährleisten. Dieser Artikel macht begreiflich, wie Quantencomputer neue Phänomene ausnutzen, die in der klassischen Physik nicht auftreten. Entlang vier identifizierter Haupteinsatzgebiete (Optimierung, Simulation, Maschinelles Lernen und Kryptographie) beschreiben wir Anwendungsmöglichkeiten in verschiedenen Branchen. Wir erklären wie technische Herausforderungen das Potenzial noch zurückhalten und wie der Quantencomputer als Ergänzung zu traditionellen Computersystemen einen großen Beitrag leisten kann. Entsprechend müssen Unternehmen nicht unbedingt in Quantencomputer investieren, sondern in deren Nutzung. Quantum als Service kann ein erster Schritt für visionäre Unternehmer sein, um sich damit vertraut zu machen und frühzeitig Wettbewerbsvorteile zu erlangen.
Die Bedeutung der Quantenmechanik ist in der Physik über die letzten Jahrzehn te ständig gestiegen.Sie ist natürlich ein wesentliches Werkzeug, um Struktur und Dynamik von mikroskopischen Körpern zu verstehen, etwa von Atomen, Molekülen sowie ihrer Wechselwirkung mit elektromagnetischer Strahlung.Die Quantenme chanik liefert aber auch das grundlegende Verständnis für zahlreiche technische Systeme: Quellen von Laserlicht (mit Anwendungen in Telekommunikation, Medi zintechnik, Materialbearbeitung), Atomuhren (zentrale Bausteine insbesondere für die Navigationssysteme GPS und Galileo), Transistoren (Computer-und Kommuni kationstechnik), bildgebende Tomographen per Magnetresonanz, Energiegewinnung (Solarzellen, Kerntechnik) usw.-die Liste der Anwendungen hört praktisch nicht auf.Überraschende physikalische Erscheinungen wie Supraflüssigkeiten und Supraleiter haben eine quantenmechanische Erklärung.Großes Interesse wird derzeit bestimm ten verschränkten Quanten-Zuständen gewidmet, die nicht-intuitive Eigenschaften aufweisen: sie sind nicht-lokal, nicht in ihre Teile separierbar und versprechen bemer kenswerte Anwendungen auf dem Gebiet der Quanten-Informatik.Unsere Zivilisation wird also mehr und mehr von technologischen Anwendungen durchdrungen, deren Wurzeln in den Konzepten der Quantenmechanik liegen.Demzufolge verdient das Lernen und Lehren dieser Konzepte besondere Aufmerksamkeit.Das vorliegende dreibändige Werk will einen Beitrag zu diesem Ziel leisten.In der Tat können die ersten Kontakte mit der Quantenmechanik sehr verstörend sein.Dieses Buch entstand aus zahlreichen Lehrveranstaltungen für Studierende mit dem Vorsatz, ihnen den Zugang zu erleichtern und das Verständnis der Leserin und des Lesers von Anfang an bis auf ein fortgeschrittenes Niveau hin stetig zu vertiefen.Die ersten beiden Bände erschienen vor mehr als vierzig Jahren in erster Auflage, sie fanden auf allen Kontinenten Verwendung und wurden in viele Sprachen übersetzt.Sie beschränkten sich inhaltlich allerdings auf ein mittleres Niveau; seit 2017 wer den sie durch den dritten Band ergänzt, der den Lesern erlaubt, weitere Schritte zu gehen.Das gesamte Werk verfolgt systematisch die Strategie, sich den Fragestellun gen schrittweise zu nähern: keine Schwierigkeit wird verschwiegen, und jeder Aspekt der diversen Probleme wird im Detail besprochen.Dabei erinnern wir oft an die Be griffe aus der klassischen Physik (d.h.aus der makroskopischen Welt oder vor der Quanten-Ära).Dieser Wunsch, den Dingen auf den Grund zu gehen, nichts zu "vertuschen" und keine "Abkürzungen" einzuschlagen, spiegelt sich in der Struktur des Lehrwerks wider: der Leser findet zwei verschiedene, aber ineinander verschränkte Stränge -Kapitel und Ergänzungen.Die Kapitel stellen in ihrer Abfolge die Ideen und Begriffe allgemein vor.Auf jedes Kapitel folgen eine oder mehrere Ergänzungen, die die zuvor erarbeiteten Methoden und Konzepte illustrieren.Die Ergänzungen sind voneinander unabhängig, ihr Ziel ist es, einen breiten Fächer von Anwendungen und interessanten
Moderne Kryptographie erlaubt nicht nur, personenbezogene Daten im Internet zu schützen oder sich für bestimmte Dienste zu authentifizieren, sondern ermöglicht auch das Auswerten einer Funktion auf geheimen Eingaben mehrerer Parteien, ohne dass dabei etwas über diese Eingaben gelernt werden kann (mit der Ausnahme von Informationen, die aus der Ausgabe und eigenen Eingaben effizient abgeleitet werden können). Kryptographische Protokolle dieser Art werden sichere Mehrparteienberechnung genannt und eignen sich für ein breites Anwendungsspektrum, wie z.B. geheime Abstimmungen und Auktionen. Um die Sicherheit solcher Protokolle zu beweisen, werden Annahmen benötigt, die oft komplexitätstheoretischer Natur sind, beispielsweise, dass es schwierig ist, hinreichend große Zahlen zu faktorisieren. Sicherheitsannahmen, die auf physikalischen Prinzipien basieren, bieten im Gegensatz zu komplexitätstheoretischen Annahmen jedoch einige Vorteile: die Protokolle sind meist konzeptionell einfacher, die Sicherheit ist unabhängig von den Berechnungskapazitäten des Angreifers, und die Funktionsweise und Sicherheit ist oft für den Menschen leichter nachvollziehbar. (Zum Beispiel forderte das Bundesverfassungsgericht: „Beim Einsatz elektronischer Wahlgeräte müssen die wesentlichen Schritte der Wahlhandlung und der Ergebnisermittlung vom Bürger zuverlässig und ohne besondere Sachkenntnis überprüft werden können.“ (BVerfG, Urteil des Zweiten Senats vom 03. März 2009)). Beispiele für solche Annahmen sind physikalisch getrennte oder unkorrumpierbare Hardware-Komponenten (vgl. Broadnax et al., 2018), Write-Only-Geräte für Logging, oder frei zu rubbelnde Felder, wie man sie von PIN-Briefen kennt. Auch die aus der Quantentheorie folgende Nicht-Duplizierbarkeit von Quantenzuständen ist eine physikalische Sicherheitsannahme, die z.B. verwendet wird, um nicht-klonbares „Quantengeld“ zu realisieren. In der vorliegenden Dissertation geht es neben Protokollen, die die Sicherheit und Isolation bestimmter einfacher Hardware-Komponenten als Vertrauensanker verwenden, im Besonderen um kryptographischen Protokolle für die sichere Mehrparteienberechnung, die mit Hilfe physikalischer Spielkarten durchgeführt werden. Die Sicherheitsannahme besteht darin, dass die Karten ununterscheidbare Rückseiten haben und, dass bestimmte Mischoperationen sicher durchgeführt werden können. Eine Anwendung dieser Protokolle liegt also in der Veranschaulichung von Kryptographie und in der Ermöglichung sicherer Mehrparteienberechnungen, die gänzlich ohne Computer ausgeführt werden können. Ein Ziel in diesem Bereich der Kryptographie ist es, Protokolle anzugeben, die möglichst wenige Karten benötigen – und sie als optimal in diesem Sinne zu beweisen. Abhängig von Anforderungen an das Laufzeitverhalten (endliche vs. lediglich im Erwartungswert endliche Laufzeit) und an die Praktikabilität der eingesetzten Mischoperationen, ergeben sich unterschiedliche untere Schranken für die mindestens benötigte Kartenanzahl. Im Rahmen der Arbeit wird für jede Kombination dieser Anforderungen ein UND-Protokoll – ein logisches UND zweier in Karten codierter Bits; dieses ist zusammen mit der Negation und dem Kopieren von Bits hinreichend für die Realisierung allgemeiner Schaltkreise – konstruiert oder in der Literatur identifiziert, das mit der minimalen Anzahl an Karten auskommt, und dies auch als Karten-minimal bewiesen. Insgesamt ist UND mit vier (für erwartet endliche Laufzeit (Koch, Walzer und Härtel, 2015; Koch, 2018)), fünf (für praktikable Mischoperationen oder endliche Laufzeit (Koch, Walzer und Härtel, 2015; Koch, 2018)) oder sechs Karten (für endliche Laufzeit und gleichzeitig praktikable Mischoperationen (Kastner et al., 2017)) möglich und optimal. Für die notwendigen Struktureinsichten wurden so-genannte „Zustandsdiagramme“ mit zugehörigen Kalkülregeln entwickelt, die eine graphenbasierte Darstellung aller möglichen Protokolldurchläufe darstellen und an denen Korrektheit und Sicherheit der Protokolle direkt ablesbar sind (Koch, Walzer und Härtel, 2015; Kastner et al., 2017). Dieser Kalkül hat seitdem eine breite Verwendung in der bereichsrelevanten Literatur gefunden. (Beweise für untere Schranken bzgl. der Kartenanzahl werden durch den Kalkül zu Beweisen, die zeigen, dass bestimmte Protokollzustände in einer bestimmten kombinatorischen Graphenstruktur nicht erreichbar sind.) Mit Hilfe des Kalküls wurden Begriffe der Spielkartenkryptographie als C-Programm formalisiert und (unter bestimmten Einschränkungen) mit einem „Software Bounded Model Checking“-Ansatz die Längenminimalität eines kartenminimalen UND-Protokolls bewiesen (Koch, Schrempp und Kirsten, 2019). Darüber hinaus werden konzeptionell einfache Protokolle für den Fall einer sicheren Mehrparteienberechnung angegeben, bei der sogar zusätzlich die zu berechnende Funktion geheim bleiben soll (Koch und Walzer, 2018), und zwar für jedes der folgenden Berechnungsmodelle: (universelle) Schaltkreise, binäre Entscheidungsdiagramme, Turingmaschinen und RAM-Maschinen. Es wird zudem untersucht, wie Karten-basierte Protokolle so ausgeführt werden können, dass die einzige Interaktion darin besteht, dass andere Parteien die korrekte Ausführung überwachen. Dies ermöglicht eine (schwach interaktive) Programm-Obfuszierung, bei der eine Partei ein durch Karten codiertes Programm auf eigenen Eingaben ausführen kann, ohne etwas über dessen interne Funktionsweise zu lernen, das über das Ein-/Ausgabeverhalten hinaus geht. Dies ist ohne derartige physikalische Annahmen i.A. nicht möglich. Zusätzlich wird eine Sicherheit gegen Angreifer, die auch vom Protokoll abweichen dürfen, formalisiert und es wird eine Methode angegeben um unter möglichst schwachen Sicherheitsannahmen ein passiv sicheres Protokoll mechanisch in ein aktiv sicheres zu transformieren (Koch und Walzer, 2017). Eine weitere, in der Dissertation untersuchte physikalische Sicherheitsannahme, ist die Annahme primitiver, unkorrumpierbarer Hardware-Bausteine, wie z.B. einen TAN-Generator. Dies ermöglicht z.B. eine sichere Authentifikation des menschlichen Nutzers über ein korrumpiertes Terminal, ohne dass der Nutzer selbst kryptographische Berechnungen durchführen muss (z.B. große Primzahlen zu multiplizieren). Dies wird am Beispiel des Geldabhebens an einem korrumpierten Geldautomaten mit Hilfe eines als sicher angenommenen zweiten Geräts (Achenbach et al., 2019) und mit möglichst schwachen Anforderungen an die vorhandenen Kommunikationskanäle gelöst. Da das angegebene Protokoll auch sicher ist, wenn es beliebig mit anderen gleichzeitig laufenden Protokollen ausgeführt wird (also sogenannte Universelle Komponierbarkeit aufweist), es modular entworfen wurde, und die Sicherheitsannahme glaubwürdig ist, ist die Funktionsweise für den Menschen transparent und nachvollziehbar. Insgesamt bildet die Arbeit durch die verschiedenen Karten-basierten Protokolle, Kalküle und systematisierten Beweise für untere Schranken bzgl. der Kartenanzahl, sowie durch Ergebnisse zur sicheren Verwendung eines nicht-vertrauenswürdigen Terminals, und einer Einordnung dieser in eine systematische Darstellung der verschiedenen, in der Kryptographie verwendeten physikalischen Annahmen, einen wesentlichen Beitrag zur physikalisch-basierten Kryptographie.