Modellbildung in der algebraischen Kryptoanalyse

In der algebraischen Kryptoanalyse werden moderne Kryptosysteme als polynomielle, nichtlineare Gleichungssysteme dargestellt. Das Lösen solcher Gleichungssysteme ist NP-hart. Es gibt also keinen Algorithmus, der in polynomieller Zeit ein beliebiges nichtlineares Gleichungssystem löst. Dennoch kann man aus modernen Kryptosystemen Gleichungssysteme mit viel Struktur generieren. So sind diese Gleichungssysteme bei geeigneter Modellierung quadratisch und dünn besetzt, damit nicht beliebig. Dafür gibt es spezielle Algorithmen, die eine Lösung solcher Gleichungssysteme finden. Ein Beispiel dafür ist der ElimLin-Algorithmus, der mit Hilfe von linearen Gleichungen das Gleichungssystem iterativ vereinfacht. In der Dissertation wird auf Basis dieses Algorithmus ein neuer Solver für quadratische, dünn besetzte Gleichungssysteme vorgestellt und damit zwei symmetrische Kryptosysteme angegriffen. Dabei sind die Techniken zur Modellierung der Chiffren von entscheidender Bedeutung, so das neue Techniken entwickelt werden, um Kryptosysteme darzustellen. Die Idee für das Modell kommt von Cube-Angriffen. Diese Angriffe sind besonders wirksam gegen Stromchiffren. In der Arbeit werden unterschiedliche Varianten klassifiziert und mögliche Erweiterungen vorgestellt. Das entstandene Modell hingegen, lässt sich auch erfolgreich auf Blockchiffren und auch auf andere Szenarien erweitern. Bei diesen Änderungen muss das Modell nur geringfügig geändert werden.

Analysen der beiden cis-regulierenden Sequenzelemente translational control element (TCE) und cytoplasmic polyadenylation element (CPE) in der Drosophila-Spermatogenese

Ein essentieller Bestandteil in dem Mechanismus der Translationskontrolle sind RNA-Pro­tein-Wechselwirkungen. Solche Interaktionen konnten in Translationssystemen an zwei unabhängigen cis-regulierenden Elementen durch in vitro-Bindungsanalysen mit individu­ellen rekombinanten Proteinen dokumentiert werden. Im Fall des translational control elements (TCE), welches ein konserviertes Sequenz-Ele­ment in der Mst(3)CGP-Genfamilie darstellt, wird eine negative Translationskontrolle durch die Bindung der Proteine CG3213, CG12470, CG1898, dFMR1, Exuperantia und Orb2 an diese Sequenz vermittelt (Stinski, 2011). Neben den in Bindungsstudien positiv getesteten Kandidaten dFMR1 und Orb2 (Stinski, 2011) wurde in der vorliegenden Dis­sertation CG3213 als weiterer direkter Bindungspartner an das TCE dokumentiert. Ein Abgleich der genomweiten Zusammenstellung von Proteininteraktionen in der Datenbank InterologFinder lieferte zwei weitere potentielle Kandidaten: CG34404 und CG3727. Al­lerdings schließen Northern-Analysen und das Proteinexpressionsmuster eine zentrale Rolle in der Drosophila-Spermatogenese für diese nahezu aus. In Kolokalisationsstudien einiger TCE-Komplex-Kandidaten mit CG3213 als Referenz konnten eindeutige Überein­stimmungen der Fluoreszenzmuster mit CG12470 in der postmeiotischen Phase be­schrieben werden, wohingegen mit Orb2 (postmeiotisch) und CG1898 (prämeiotisch) nur eine geringe Kolokalisation erkannt wurde. Punktstrukturen in den Verteilungsmustern sowohl von CG3213 als auch von CG12470 ließen sich nicht mit ER- und mitochondrien­spezifischen Markern korrelieren. Im Anschluss der Meiose konnte eine deutliche Intensitätserhöhung des CG3213-Proteins beobachtet werden, was eventuell durch eine veränderte Translationseffizienz zustande kommen könnte. Exuperantia (Exu) stellt einen bekannten Regulator für eine Reihe von translationskontrollierten mRNAs dar (Wang und Hazelrigg, 1994). Die Quantifizierungen der CG3213-mRNA in exu-mutantem Hintergrund bestätigen, dass auch die Transkript­menge der CG3213-mRNA durch Exu reguliert wird, was die obige Interpretation stützen würde. Für das zweite cis-regulierende Element, das cytoplasmic polyadenylation element (CPE), konnte eine direkte Bindung mit dem CPEB-Homolog in Drosophila (Orb2) gezeigt wer­den, welches auch eine Komponente des mst87F-RNP-Komplexes ist. Ein vermuteter Interaktionspartner dieses CPEBs ist Tob, weshalb die Verteilung beider Proteine in einem Kombinationsstamm verglichen wurde. In dem teilweise übereinstimmenden Fluoreszenz­muster ist Tob an den distalen Spermatidenenden auffallend konzentriert. Das gesamte Tob-Muster jedoch legt eine Verteilung in den Mitochondrien nahe, wie die MitoTracker®-Färbung belegt. Somit wurde erstmals ein Mitglied der Tob/BTG-Genfamilie in der Droso­phila-Spermatogenese mit Mitochondrien in Verbindung gebracht. Die Lokalisierung die­ser Proteine ist bislang unklar, jedoch konnte eine Kernlokalisation trotz der N-terminalen NLS-Sequenz mit Hilfe einer Kernfärbung ausgeschlossen werden.

Experimentelle Untersuchung des Optimierungspotenzials in der kurzkohärenten Interferenzmikroskopie

Die vorliegende Arbeit befasst sich mit dem lateralen Auflösungsvermögen in der kurzkohärenten Interferenzmikroskopie. Das 3D-Auflösungsvermögen von Phasenobjekten ist im Gegensatz zu dem von Intensitätsobjekten stark nichtlinear und vom spezifischen Messverfahren abhängig. In diesem Zusammenhang sind systematische Messfehler von entscheidender Bedeutung. Für die kurzkohärente Interferenzmikroskopie ist das Überschwingen an Kanten von besonderem Belang, da sich der Effekt bei der Messung vieler technischer Oberflächen negativ auswirkt. Er entsteht durch die Überlagerung von Interferenzsignalen lateral benachbarter Objektpunkte von unterschiedlichen Höhenniveaus. Es wird an speziell für diesen Zweck entwickelten Messsystemen untersucht in wie weit dieser Effekt physikalisch reduziert werden kann und wie sich dies auf die laterale Auflösung auswirkt. An einem für den Einsatz in einer Nanomessmaschine optimierten Linnik-Interferometer wird die Justage eines solchen Systems erläutert. Der Sensor verfügt über die Option mit NUV-Licht betrieben zu werden, um die laterale Auflösung zu verbessern. Aufgrund des Einsatzzweckes ist der Arbeitsabstand relativ groß, was die laterale Auflösung einschränkt. Mit einem zweiten auf die Untersuchungen in dieser Arbeit optimierten Versuchsaufbau können die physikalischen Grenzen der kurzkohärenten Interferenzmikroskopie praktisch untersucht werden. Zu diesem Zweck ist der Aufbau mit einem Mikrospiegelarray ausgestattet, um hierüber variable konfokale Blenden zu schaffen. Mit diesem System wird erstmalig konfokale Mikroskopie mit Weißlichtinterferometrie kombiniert. Durch die optische Selektion der konfokalen Mikroskopie soll die Ursache für die Überschwinger an Kanten reduziert werden. Eine weitere Möglichkeit der Einflussnahme stellt die optionale Beleuchtung mit polarisiertem Licht dar, wodurch die laterale Auflösung weiter gesteigert werden kann. Zusätzlich kann auch dieser Aufbau mit kurzwelligem blauem Licht betrieben werden, um die laterale Auflösung zu optimieren. Die Messergebnisse, die mit diesen Versuchsaufbauten gemacht wurden, zeigen, dass im Gegensatz zu den in der derzeitigen Normung genutzten Modellen das Übertragungsverhalten in der Weißlichtinterferometrie bei der Messung von Phasenobjekten stark nichtlinear ist. Das laterale Auflösungsvermögen deckt sich je nach Auswerteverfahren recht gut mit dem von klassischen Mikroskopen bei der Wiedergabe von Intensitätsobjekten. Für die Untersuchungen wurde überwiegend ein Auflösungsnormal mit neun unterschiedlichen eindimensionalen Rechteckstrukturen verwendet, die eine Nominalhöhe im kritischen Bereich kleiner der Kohärenzlänge der verwendeten Lichtquelle aufweisen. Die Ergebnisse bestätigen sich aber auch an technischen Messobjekten aus der Praxis wie beispielsweise einer „digital video disc“.