Die weite Verbreitung des Internets erzeugt große Mengen an digitaler Kommunikation und macht Kryptographie zu einem unverzichtbaren Teil des täglichen Lebens, da unzählige Anwendungen nur durch den Schutz von sensitiven Daten ermöglicht werden. Ein fundamentaler kryptographischer Baustein ist authentifizierter Schlüsselaustausch, welcher mit Hilfe des Key Confirmation Paradigmas entwickelt werden kann. Im ersten Teil dieser Arbeit zeigen wir einen inhärenten Nachteil des Paradigmas auf, durch den die Parametergrößen bei der Instanziierung linear mit der Anzahl der Nutzer wachsen müssen. Im zweiten Teil dieser Arbeit widmen wir uns Instant Messaging Anwendungen, welche eine der populärsten Anwendungen im Internet sind. Zunächst analysieren wir die formalen Sicherheitsgarantien des Backup Systems von WhatsApp, und entwickeln anschließend drei neue Backup Protokolle, welche unterschiedliche Kompromisse zwischen Effizienz und benötigtem Vertrauen in die tatsächliche Sicherheit von vermeintlich sicherer Hardware bieten.
Die weite Verbreitung des Internets erzeugt große Mengen an digitaler Kommunikation und macht Kryptographie zu einem unverzichtbaren Teil des täglichen Lebens, da unzählige Anwendungen nur durch den Schutz von sensitiven Daten ermöglicht werden. Ein fundamentaler kryptographischer Baustein ist authentifizierter Schlüsselaustausch, welcher mit Hilfe des Key Confirmation Paradigmas entwickelt werden kann. Im ersten Teil dieser Arbeit zeigen wir einen inhärenten Nachteil des Paradigmas auf, durch den die Parametergrößen bei der Instanziierung linear mit der Anzahl der Nutzer wachsen müssen. Im zweiten Teil dieser Arbeit widmen wir uns Instant Messaging Anwendungen, welche eine der populärsten Anwendungen im Internet sind. Zunächst analysieren wir die formalen Sicherheitsgarantien des Backup Systems von WhatsApp, und entwickeln anschließend drei neue Backup Protokolle, welche unterschiedliche Kompromisse zwischen Effizienz und benötigtem Vertrauen in die tatsächliche Sicherheit von vermeintlich sicherer Hardware bieten.
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.
Kryptografie sichert unsere digitale Kommunikation. Zentral ist die Public-Key-Kryptografie, die zwei Parteien einen Geheimnisaustausch ohne vorherige Interaktion ermöglicht. Mit Quantencomputern werden die meisten dieser Protokolle jedoch obsolet. Die isogeniebasierte Kryptografie erreicht Post-Quanten-Sicherheit über die Schwierigkeit, eine Isogenie zwischen zwei supersingulären elliptischen Kurven zu finden. Selbst für Quantencomputer ist dies ein schweres Problem. Diese Komplexität erschwert jedoch auch das Protokolldesign und wirft in der jungen Kryptanalyse Fragen zu Leakage-Angriffen auf. Diese Arbeit erweitert den Stand der Technik in zwei Bereichen: Wir geben neuartige Konstruktionen für Updatable Encryption, Authenticated Key Encapsulation und Non-Interactive Timed Commitments an, die Sicherheit, Effizienz oder Kompaktheit verbessern. Zudem entwickeln wir Leakage-Angriffe auf Schlüsselaustausch- und Signaturschemata und zeigen teils inhärente Resilienz.
Quanten Kryptographie oder genauer gesagt Quanten-Schluessel Verteilung (Quantum Key Distribution - QKD) ist die erste Anwendung der Quantentheorie die kurz davor steht den Sprung vom Experiment zur industriellen Verwertung zu schaffen. Ermoeglicht wurde diese Erfolgsgeschichte durch zahllose theoretische und experimentelle Arbeiten innerhalb der letzten 30 Jahre. Thema dieser Arbeit sind experimentelle Fortschritte der juengsten Zeit, QKD Protokolle und Attacken auf QKD sowie eine moegliche Integration dieser quantenbasierten Technologie in die 'klassische Welt'. Die groesste Herausforderung bei dieser Zusammenfuehrung ist in drei Bereichen zu finden, naemlich die unzureichende technische Ausgereiftheit der verwendeten Hardware, die das Gebiet des 'quanten Hackens' hervorgebracht hat, QKD ueber lange Distanzen (100km und mehr) und die Integration von QKD in bereits verlegte Backbone und Access Netzwerke. Zwar werden alle drei Gebiete in dieser Arbeit behandelt, neue Erkenntnisse werden zu den beiden letzteren eroertert, da das Ausnutzen von technischen Fehlern in Hardware im Prinzip nicht mehr als ein Wettlauf zwischen Hackern und Hersteller ist, der im Prinzip schon durch hardwareunabhaengige QKD Modelle geloest wurde. Als moeglicher Ansatz zum Ueberbruecken grosser Distanzen mit QKD Technologie bietet sich die satellitenbasierte Kommunikation zwischen entfernten Punkten auf der Erde an. Zu diesem Zweck stellt diese Arbeit zwei Generationen von Lithiumniobat Wellenleitern vor, die auf spontaner parametrischer Downconversion (SPDC) und Quasi Phasen Anpassung (QPS) zur Erzeugung verschraenkter Photonenpaare basiert. Das Ziel ist die Entwicklung einer autonomen, komplett integrierten Quelle polarisationsverschraenkter Photonen im C-Band. Verglichen mit anderen Quellen ist in diesem Fall der Herstellungsprozess des Wellenleiters sowie dessen Integration in fasergebundene Optik bei einem eingeschraenkten Formfaktor (< 0,5m 2) eine zusaetzliche Herausforderung. In einem nicht fasergebundenen Aufbau wurde fuer die erste Generation von Wellenleiter eine 'Visibility' von ueber 91% und eine 'spectrale Brightness' von 10 6 Paare /(s nm W) gemessen. Bei der zweiten Generation von Wellenleitern, komplett fasergebunden, wurde hingegen nur 75% 'Visibility' and 4 ∙10 3 Paare /(s nm W) 'spectrale Brightness' erreicht. Dieser wesentlich schlechtere Wert kommt von hohen Verlusten beim Uebergang von Kristall auf Faser und ruehrt vom Anbringen der Faser auf den Wellenleiter her. Das zweite grosse Thema dieser Arbeit ist die moegliche Integration von QKD in bereits bestehende Netzwerkinfrastruktur und der damit einhergehende Einfluss starker klassischer Datensignale auf die sehr schwachen Quantensignale. Trotz erarbeiteter Konzepte die es erlauben die klassischen Kanaele zu ueberbruecken und den Quantenkanal von diesen zu trennen, muessen Beeintraechtigungen durch nichtlineare Prozesse, ueberwiegend Ramanstreuung, beruecksichtigt werden, gerade wenn alle Kanaele ueber dieselbe Faser laufen, wie es in der sogenannten Single-Feeder Methode ueblich ist. Sensible Raman Messungen bis zur Energie von Einzelphotonen, durchgefuehrt an einem 20 Kanal DWDM Netzwerk, zeigen, dass sogar ueber 200nm weg von den klassischen Daten Kanaelen ca. 10 6 photonen / (s nm) erzeugt werden. Unsere Simulationen und experimentellen Daten ergaben weiterhin, dass ein Quantenkanal durchaus in passive optische Netzwerke integrierbar ist, wenn ausreichend spektraler Abstand sowie passende Wellenlaengen und zeitliche Filter verwendet werden, die es erlauben die einzelnen Photonen vom Hintergrund zu trennen. Diese Resultate wurden mit einer Quelle polarisationsverschraenkter Photonen gemessen, bestehend aus einem ppKTP Kristall in Sagnac Konfiguration, der Photonenpaare bei 589nm und im O-Band bei 1310nm erzeugt. Damit ist es gelungen eine full-duplex Punkt zu Punkt Verbindung ueber 13.2km aufzubauen bei der sowohl klassische Signale als auch Quantensignale ueber dieselbe Faser geschickt werden. Die Erkenntnisse die in dieser Arbeit praesentiert werden zeigen die Moeglichkeiten aber auch die Grenzen von QKD sowohl fuer die Uebertragung ueber weite Strecken durch satellitenbasierte Systeme als auch fuer die Integration in optische Netzwerke. Diese Arbeit wird mithelfen Standards fuer moegliche zukuenftige Entwicklungen im Bereich QKD zu setzen. Abgesehen von dieser Arbeit wurden die Ergebnisse im Journal Optics Express (2015), den SPIE Proceedings (2016) und der CLEO Europe Konferenz (2015) sowie anderen kleineren Konferenzen vorgestellt.
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.
Diese Arbeit befasst sich mit den kohärenten Effekten in mesoskopischen Systemen, die eindimensional sind.Mesoskopische Systeme sind besonders interessant, da ihre Grösse an der Grenze zwischen die mikroskopische Welt, die von der Quantenphysik regiert wird, und die makroskopische Welt, die den Gesetzen der klassischen Physik gehorcht, liegt.Um genauer zu sein, wir handeln mit Systemen, die gross genug sind, um viele konstituierende Teilchen zu haben, aber klein genug, um die Effekte der Quantenkohärenz dieser Teilchen zu zeigen.Sobald die mesoskopischen Systeme nur noch eindimensional sind, hat jede Störung einen tiefgreifenden Einfluss auf ihre Physik und kann neuartige Effekte hervorrufen, die sowohl für die Grundlagenwissenschaft als auch für praktische Anwendungen wichtig sind.Wir untersuchen daher, wie die häufigsten Störungen wie Wechselwirkungen zwischen Teilchen, der Einfluss der Umgebung, des externen Potenzials und der nichttrivialen Bandstruktur zusammenwirken, um neuartige Effekte in eindimensionalen mesoskopischen Systemen zu erzeugen.Die Arbeit gliedert sich logischerweise in drei Hauptteile, die insgesamt fünf Projekte umfassen.Der Hauptdarsteller des ersten Teils ist der stark wechselwirkende Quantendraht.Es ist bekannt, dass Wechselwirkungen eine Fülle interessanter Effekte in eindimensionalen Systemen hervorrufen, und im ersten Teil dieser Arbeit untersuchen wir, wie einige dieser Effekte verändert werden, wenn der Draht mit externen Leitungen verbunden wird.Wir gehen über die Standardbeschreibung der Leitungen als Markov'sche Bäder mit ohmschem Rauschleistungsspektrum hinaus und betrachten sie stattdessen als Bäder mit endlicher Kapazität oder als Bäder mit nicht-ohmschen Rauschleistungsspektren. Zunächst untersuchen wir die Tunnelspektroskopie des mit den kapazitiven Leitungen verbundenen Drahtes und entdecken neue Regime, die sich durch verstärktes Tunneln bei niedrigen Energien und ein universelles Abklingen des Tunnels bei hohen Energien auszeichnen.Darüber hinaus zeigen die lokalen Tunnelmessungen die einzigartige räumliche Abhängigkeit, die die Bildung von stehenden plasmonischen Wellen im Draht kennzeichnet.Wir nutzen dann die Ergebnisse des ersten Projekts und gehen im zweiten Projekt einen Schritt weiter und untersuchen, wie die nichtohmschen Leitungen den Transport durch einen interagierenden Draht, der eine einzige rückstreuende Verunreinigung enthält, beeinflussen.Ohne Elektroden verschwindet die Leitfähigkeit durch den interagierenden Draht bei abstossenden Wechselwirkungen zwischen Elektronen, während sie bei anziehenden Wechselwirkungen endlich bleibt.Bei Vorhandensein von Ableitungen entdecken wir, dass bei bestimmten Energieskalen das nichtohmsche Rauschleistungsspektrum dazu führen kann, dass sich ein abstossend wechselwirkender Draht wie ein anziehend wechselwirkender Draht verhält und umgekehrt.Dieser Effekt iii iv manifestiert sich in der Leitfähigkeit durch den Draht, die in Experimenten direkt gemessen werden kann.Im zweiten Teil dieser Arbeit entfernen wir die Leitungen und fügen dem unendlich langen Draht eine räumlich verteilte Unordnung hinzu.Als Unordnung wählen wir ein lokales Potential mit einer quasiperiodischen Modulation, so dass das ganze System zu einem Quasikristall wird.Quasikristalle haben keine Translationssymmetrie und sind nicht periodisch, aber dennoch geordnet und deterministisch.Dies führt zu reichen Lokalisierungseigenschaften, wie z.B. fraktalen kritischen Wellenfunktionen, die im Raum zerfallen, aber nicht vollständig lokalisiert sind.Bei Vorhandensein von Wechselwirkungen können quasiperiodische Modelle lokalisierte Phasen mit vielen Körpern enthalten, in denen die Dynamik des Systems selbst bei extrem hohen Temperaturen eingefroren ist.Im ersten Projekt dieses Teils der Arbeit untersuchen wir, wie die kritischen Zustände durch eine Kaskade von bandselektiven Lokalisierungs-/Delokalisierungsübergängen in dem spezifischen, nicht wechselwirkenden quasiperiodischen Modell gebildet werden.In Zusammenarbeit mit der experimentellen Gruppe erklären wir den für die Kaskade verantwortlichen Mechanismus und entdecken ein reichhaltiges Phasendiagramm.Im zweiten Projekt fügen wir die Wechselwirkungen zu demselben quasiperiodischen Modell hinzu und erhalten sein Mehrkörper-Lokalisierungsphasendiagramm.Wir zeigen, dass die Kaskade der Delokalisierungsübergänge, die im nicht interagierenden Fall gefunden wurde, selbst bei schwachen Interaktionen verschwindet.Das Thema des dritten Teils dieser Arbeit ist die Fabry-Pérot-Interferenz in zweidimensionalen Geräten.Obwohl das untersuchte Gerät nicht streng eindimensional ist, zeigen wir, dass die Physik durch ein effektives System von gekoppelten Quantendrähten mit unterschiedlichen Energiedispersionen beschrieben werden kann.Die Arbeit wurde in Zusammenarbeit mit den experimentellen Kollegen durchgeführt, wobei wir den Transport durch einen Hohlraum in einem zweidimensionalen Material untersuchen, das durch Band-Inversion und Elektron-Loch-Hybridisierung gekennzeichnet ist.Wir stellen fest, dass die Elektron-Loch-Hybridisierung in band-invertierten Systemen eine kohärente Interferenz bei Transportmessungen ermöglichen kann.In solchen Systemen haben Leitungs-und Volanzbänder die Form eines Sombrero-Hutes, der in Kombination mit einer dominanten Elektron-Loch-Streuung an den Hohlraum-Blei-Grenzflächen parallele eindimensionale Transportkanäle erzeugt.Diese parallelen Transportkanäle haben die gleichen Bedingungen für konstruktive Interferenz, was zu einem nicht verschwindenden Interferenzmuster führt, selbst nach Mittelwertbildung über mehrere Einfallswinkel.Auf diese Weise entdecken wir einen neuen Mechanismus zur Realisierung der Fabry-Pérot-Interferenz in zweidimensionalen mesoskopischen band-invertierten Systemen, der bisher nur in eindimensionalen Geräten, wie z.B. in Nanoröhren, und in zweidimensionalen graphenbasierten Geräten demonstriert wurde.
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.