RSA Full Domain Hash ist im Zufallsorakelmodell ein EUF-CMA sicheres Signaturverfahren (existentially unforgeable under chosen-message attacks). Der Sicherheitsbeweis wird unter anderem in der Vorlesung Einf{\"u}hrung in die Kryptographie vorgestellt. Auch bei einer genaueren Analyse verliert man bei der Reduktion einen Faktor \nicefrac{1}{q_{s}}(wobei q_{s}die Anzahl der Anfragen an das Signaturorakel darstellt), was f{\"u}r die Praxis in relativ großen Systemparametern (RSA-Modul) resultiert [1].Seit der Ver{\"o}ffentlichung von [2] wurde geglaubt, dass der Faktor \nicefrac{1}{q_{s}}optimal ist. Erst zehn Jahre sp{\"a}ter offenbarten die Autoren von [3] einen Fehler in [2] und zeigten eine bessere Reduktion allerdings unter einer etwas st{\"a}rkeren Sicherheitsannahme.Die Ergebnisse aus [3] lassen sich auf PSS-Verfahren (Probabilistic Signature Scheme), das z.B. in PKCS #1 benutzt wird, {\"u}bertragen und sind somit von großer Bedeutung f{\"u}r die Praxis. Weiterhin sind die in den Beweisen verwendete Techniken n{\"u}tzlich auch bei anderen kryptographischen Verfahren.In Rahmen dieser Arbeit sollen die entsprechenden Sicherheitsbeweise aufgearbeitet und dessen Auswirkungen f{\"u}r die Praxis analysiert werden.[1] J.S. Coron, “On the Exact Security of Full Domain Hash”, CRYPTO 2000. LNCS 1880, pp. 229-235, 2000.[2] J.S. Coron, “Optimal security proofs for PPS and other signature schemes”, EUROCRYPT 2002. LNCS 2332, pp 272-287, 2002.[3] S.A. Kakvi and E. Kiltz, “Optimal Security Proofs for Full Domain Hash, Revisited”, in EUROCRYPT 2012. LNCS 7237, pp 537-553, 2012.

Group Signature Schemes with Strong Exculpability

P. Bemmann, Bachelor's thesis, Universität Paderborn, 2014

Fujisaki-Okamoto Transformation

J. Lippert, Bachelor's thesis, Universität Paderborn, 2014

2013

Themenmodellierung zur Identifikation und Gruppierung von Spam-Webseiten

S. Laudemann, Bachelor's thesis, 2013

Nichtapproximierbarkeitsresultate zu Radius- und Durchmesserclustering unter Verwendung von L_p-Metriken

L. Leder, Bachelor's thesis, 2013

Verteilte Erstellung und Aktualisierung von Schlüsselservern in identitätsbasierten Verschlüsselungssystemen

A. Tezer, Bachelor's thesis, Universität Paderborn, 2013

Seitenkanalresistenz paarungsbasierter Kryptographie

O. Otte, Bachelor's thesis, Universität Paderborn, 2013

Security Proofs for Pairing-Based Cryptography in the Generic Group Model

J. Bobolz, Bachelor's thesis, Universität Paderborn, 2013

Download

thesis_jbobolz_final.pdf -

Attributbasierte Verschlüsselung mittels Gittermethoden - Mathematische Grundlagen, Verfahren und Sicherheitsbeweise

K. Kohn, Bachelor's thesis, Universität Paderborn, 2013

2012

Identitätsbasierte Signaturen - Ein Sicherheitsbeweis für Signaturen auf Grundlage von Gap-Diffie-Hellman-Gruppen mit Hilfe des Forking-Lemmas

N. Löken, Bachelor's thesis, Universität Paderborn, 2012

Identitätsbasierte Kryptographie - Implementierung von Paarungen für Körper der Charakteristik 2

T. Haarhoff, Bachelor's thesis, Universität Paderborn, 2012

Attribute-basierte Verschlüsselung

P. Schleiter, Bachelor's thesis, Universität Paderborn, 2012

2011

Bicriteria-Approximation für das k-Median-Clustering mit Bregman-Divergenzen

T. Böttger, Bachelor's thesis, 2011

2009

Hierarchisches Clustering mit minimalen Cluster-Durchmessern

C. Schröer, Bachelor's thesis, 2009

Analyse und Evaluation eines identitätsbasierten Signcryption-Verfahrens

G. Liske, Bachelor's thesis, 2009

Download

2009_Liske_AnalyseUndEvaluationEinesIdentitaetsbasiertenSigncryptionVerfahrens.pdf -

2007

Untersuchungen zur Sicherheit einzelner RSA Bits

A.C. Landwehr, Bachelor's thesis, 2007

Open list in Research Information System

2007

Stefan Birkner
Behandlung von Korrekturtermen in der Methode von Coppersmith
Bachelor's Thesis, Paderborn University, 2007, [Download]
Jaroslaw Klose
Ein erschöpfende Suche vermeidender Algorithmus für allgemeines k-SAT
Bachelor's Thesis, Paderborn University, 2007, [Download]
Martin Niemeier
Reduktionen von CVP mit wenigen Lösungen auf CVP mit eindeutigen Lösungen
Bachelor's Thesis, Paderborn University, 2007, [Download]
Manuel Richert
Sichere Kryptosysteme durch Zero-Knowledge
Bachelor's Thesis, Paderborn University, 2007
Steffen Ziegert
Approximierbarkeit durch konstante Stichproben unter Berücksichtigung verschiedener Divergenz- und Ähnlichkeitsmaße beim k-Clustering-Problem
Bachelor's Thesis, Paderborn University, 2007

2006

Rafael Funke
Implementierung und Simulation von Cache-Angriffen auf AES
Bachelor's Thesis, Paderborn University, 2006, [Download]
Jonas Schrieb
Von identitätsbasierten Kryptosystemen zu CCA-Sicherheit
Bachelor's Thesis, Paderborn University, 2006, [Download]

2005

Christian Hornkamp
Implementierung von wichtigen Teilen des Schoof-Elkies-Atkin Algorithmus zum Bestimmen der Punktanzahl einer elliptischen Kurve
Bachelor's Thesis, Paderborn University, 2005
Tim Süß
Laufzeitanalyse- und vergleich verschiedener Algorithmen zur schnellen skalaren Multiplikation auf elliptischen Kurven
Bachelor's Thesis, Paderborn University, 2005, [Download]

2004

Dominic Dumrauf
Neue Schranken für die Coppersmith-Methode über den ganzen Zahlen
Bachelor's Thesis, Paderborn University, 2004
Sebastian Gesemann
Implementierung eines Verfahrens zur Berechnung optimaler längenbeschränkter Präfix-Codes
Bachelor's Thesis, Paderborn University, 2004, [Download]
Michael Gorski
Implementierung und Evaluation einiger Algorithmen für Kryptosysteme auf elliptischen Kurven
Bachelor's Thesis, Paderborn University, 2004, [Download]
Tim Herden
Implementierung und Evaluierung eines Angriffs auf DSA
Bachelor's Thesis, Paderborn University, 2004

2003

Matthias Ernst
Asymptotische Optimalität von LZ77 bei beschränktem Speicher
Bachelor's Thesis, Paderborn University, 2003
Daniel Kuntze
Tabellenbasierte arithmetische Codierung
Bachelor's Thesis, Paderborn University, 2003, [Download]
Marvin Lindner
Verkürzte Huffman-Codierung zur Codekompression
Bachelor's Thesis, Paderborn University, 2003
Christian Soltenborn
Kompressionsverlust bei arithmetischer Codierung mit endlicher Präzision
Bachelor's Thesis, Paderborn University, 2003
Christian Todtenbier
Implementierung eines arithmetischen Kodierers in Java
Bachelor's Thesis, Paderborn University, 2003
Claudia Unterkircher
Implementierung eines arithmetischen Dekodierers in Java
Bachelor's Thesis, Paderborn University, 2003, [Download]
Kerstin Voß
Asymptotische Optimalität von Lempel-Ziv bei Markowprozessen
Bachelor's Thesis, Paderborn University, 2003
Max Ziegler
Fehlerangriffe auf spezielle Implementierungen von RSA
Bachelor's Thesis, Paderborn University, 2003

2002

Ulrich Hoppe
Implementierung und Evaluation eines MDS-Blockcodes mit unabhängigen Paritätssymbolen
Bachelor's Thesis, Paderborn University, 2002, [Download]