Johannes Buchmann
Dissertations supervised (75)
Traverso, Giulia (2019):
Long-Term Confidential Secret Sharing-Based Distributed Storage Systems.
Darmstadt, Technische Universität, FG Informatik,
[Dissertation]
Schabhüser, Lucas (2019):
Information-Theoretic Privacy in Verifiable Outsourced Computation.
Darmstadt, Technische Universität,
[Dissertation]
Bindel, Nina (2018):
On the Security of Lattice-Based Signature Schemes in a Post-Quantum World.
Darmstadt, Technische Universität,
[Dissertation]
Geihs, Matthias (2018):
Long-Term Protection of Integrity and Confidentiality – Security Foundations and System Constructions.
Darmstadt, Technische Universität,
[Dissertation]
Horsch, Moritz (2018):
Generating and Managing Secure Passwords for Online Accounts.
Darmstadt, Technische Universität,
[Dissertation]
Wunderer, Thomas (2018):
On the Security of Lattice-Based Cryptography Against Lattice Reduction and Hybrid Attacks.
Darmstadt, Technische Universität,
[Dissertation]
Göpfert, Florian (2016):
Securely Instantiating Cryptographic Schemes Based on the Learning with Errors Assumption.
Darmstadt, Technische Universität,
[Dissertation]
Gagliotti Vigil, Martín Augusto (2015):
Trustworthy and Efficient Protection Schemes for Digital Archiving.
Darmstadt, TU Darmstadt,
[Dissertation]
Bansarkhani, Rachid El (2015):
On the Design and Improvement of Lattice-based Cryptosystems.
Darmstadt, Technische Universität,
[Dissertation]
Braun, Johannes (2015):
Maintaining Security and Trust in Large Scale Public Key Infrastructures.
TU Darmstadt,
[Dissertation]
Schreiner, Steffen (2015):
A Security Architecture for e-Science Grid Computing.
TU Darmstadt,
[Dissertation]
Meziani, Mohammed (2014):
Designing and Improving Code-based Cryptosystems.
Germany, TU Darmstadt,
[Dissertation]
Demirel, Denise (2014):
Universally Verifiable Poll-Site Voting Schemes Providing Everlasting Privacy.
TU Darmstadt,
[Dissertation]
Strenzke, Falko (2013):
Efficiency and Implementation Security of Code-based Cryptosystems.
Darmstadt, TU Darmstadt,
[Dissertation]
Hülsing, Andreas (2013):
Practical Forward Secure Signatures using Minimal Security Assumptions.
Darmstadt, TU Darmstadt,
[Dissertation]
Petzoldt, Albrecht (2013):
Selecting and Reducing Key Sizes for Multivariate Cryptography.
Darmstadt, Germany, tuprints, TU Darmstadt,
[Dissertation]
Yousfi Alaoui, Sidi Mohamed el (2013):
Code-based Identification and Signature Schemes.
Darmstadt, TU Darmstadt,
[Dissertation]
Niebuhr, Robert (2012):
Attacking and Defending Code-based Cryptosystems.
TU Darmstadt,
[Dissertation]
Nickel, Claudia (2012):
Accelerometer-based Biometric Gait Recognition for Authentication on Smartphones.
TU Darmstadt,
[Dissertation]
Tews, Erik (2012):
DECT Security Analysis.
Darmstadt, TU Darmstadt,
[Dissertation]
Schmidt, Axel (2012):
Enabling Secure Online Elections with the Voting Service Provider.
TU Darmstadt,
[Dissertation]
Schneider, Michael (2011):
Computing Shortest Lattice Vectors on Special Hardware.
TU Darmstadt,
[Dissertation]
Mohamed, Mohamed Saied Emam (2011):
Improved Strategies for Solving Multivariate Polynomial Equation Systems over Finite Fields.
Darmstadt, TU Darmstadt, Informatik,
[Dissertation]
Abdelmageed Mohamed, Wael Said (2011):
Improvements for the XL Algorithm with Applications to Algebraic Cryptanalysis.
Darmstadt, Germany, TU Darmstadt,
[Dissertation]
Rückert, Markus (2011):
Lattice-based Signature Schemes with Additional Features.
TU Darmstadt,
[Dissertation]
Lindner, Richard (2011):
Towards Efficient Lattice-Based Cryptography.
TU Darmstadt,
[Dissertation]
Langer, Lucie (2010):
Privacy and Verifiability in Electronic Voting.
TU Darmstadt,
[Dissertation]
Tzvetkov, Vesselin Dimitrov (2010):
Virtual Private Networks for mobile environments. Development of protocol for mobile security and algorithms for location update.
Darmstadt, Technische Universität, TU Darmstadt,
[Dissertation]
Kaiser, Markus (2010):
Computer verification of algorithms using a formal proof system.
In: Dissertation.de, 1583, Berlin, dissertation.de, TU Darmstadt, ISBN 978-3-86624-483-2,
[Dissertation]
Weinmann, Ralf-Philipp (2009):
Algebraic Methods in Block Cipher Cryptanalysis.
Darmstadt, Technische Universität, TU Darmstadt,
[Dissertation]
Dahmen, Erik (2009):
Post-quantum signatures for today.
Darmstadt, Technische Universität, TU Darmstadt,
[Dissertation]
Araújo, Roberto dos Santos (2008):
On Remote and Voter-Verifiable Voting.
Darmstadt, Technische Universität, TU Darmstadt,
[Dissertation]
Döring, Martin (2008):
On the Theory and Practice of Quantum-Immune Cryptography.
Darmstadt, Technische Universität, TU Darmstadt,
[Dissertation]
Pyshkin, Andrey (2008):
Algebraic
Cryptanalysis in Block Ciphers Using Gröbner Bases.
Technische Universität Darmstadt,
[Dissertation]
Karatsiolis, Evangelos (2007):
Flexible Certificate Management in Public Key Infrastructures.
Darmstadt, Technische Universität, TU Darmstadt,
[Dissertation]
Overbeck, Raphael (2007):
Public Key Cryptography based on Coding Theory.
Darmstadt, Technische Universität, TU Darmstadt,
[Dissertation]
Schmidt, Arthur (2007):
Zur Lösung von zahlentheoretischen
Problemen mit klassischen und Quantencomputern.
Technische Universität Darmstadt,
[Dissertation]
Schmidt-Samoa, Katja (2006):
Contributions to Provable Security and Efficient Cryptography.
Darmstadt, Technische Universität, TU Darmstadt,
[Dissertation]
Straub, Tobias (2006):
Usability Challenges of PKI.
Darmstadt, Technische Universität, TU Darmstadt,
[Dissertation]
Coronado García, Luis Carlos (2006):
Provably Secure and Practical Signature Schemes.
Darmstadt, Technische Universität, TU Darmstadt,
[Dissertation]
Meyer, Andreas (2006):
{"U}ber die Sicherheit und Effizienz
kryptographischer Verfahren in algebraischen Zahlkörpern.
Technische Universität Darmstadt,
[Dissertation]
Hühnlein, Detlef (2005):
Kryptosysteme auf Basis imaginärquadratischer Nichtmaximalordnungen.
Darmstadt, Technische Universität, TU Darmstadt,
[Dissertation]
Ludwig, Christoph (2005):
Practical Lattice Basis Sampling
Reduction.
Technische Universität Darmstadt,
[Dissertation]
Meyer, Ulrike (2005):
Secure Roaming and Handover Procedures
in Wireless Access Networks.
Technische Universität Darmstadt,
[Dissertation]
Vogt, Holger (2004):
Fairer Austausch.
Darmstadt, Technische Universität, TU Darmstadt,
[Dissertation]
Henhapl, Birgit (2003):
Zur Effizienz von elliptische Kurven
Kryptographie.
Technische Universität Darmstadt,
[Dissertation]
Möller, Bodo (2003):
Public-Key Cryptography - Theory and
Practice.
Technische Universität Darmstadt,
[Dissertation]
Vollmer, Ulrich (2003):
Rigorously Analyzed Algorithms for the
Discrete Logarithm Problem in Quadratic Number Fields.
Technische Universität Darmstadt,
[Dissertation]
Wolthusen, Stephen (2003):
A Model-Independent Security
Architecture for Distributed Heterogeneous Systems.
Technische Universität Darmstadt,
[Dissertation]
Neis, Stefan (2002):
Zur Berechnung von Klassengruppen.
Darmstadt, Technische Universität, TU Darmstadt,
[Dissertation]
Maseberg, Jan Sönke (2002):
Fail-Safe-Konzept für Public-Key-Infrastrukturen.
Darmstadt, Technische Universität, TU Darmstadt,
[Dissertation]
Baier, Harald (2002):
Efficient Algorithms for Generating
Elliptic Curves over Finite Fields Suitable for Use in
Cryptography.
Technische Universität Darmstadt,
[Dissertation]
Hamdy, Safuat (2002):
Über die Sicherheit und Effizienz
kryptographischer Verfahren mit Klassengruppen
imaginär-quadratischer
Zahlkörper.
Technische Universität Darmstadt,
[Dissertation]
Kügler, Dennis (2002):
Ein mißbrauchfreies anonymes
elektonisches Zahlungssystem.
Technische Universität Darmstadt,
[Dissertation]
Takagi, Tsuyoshi (2001):
New public-key cryptosystems with fast
decryption.
Technische Universität Darmstadt,
[Dissertation]
Maurer, Markus (2000):
Regulator approximation and fundamental unit computation for real-quadratic orders.
Darmstadt, Technische Universität, TU Darmstadt,
[Dissertation]
Theobald, Patrick (2000):
Ein Framework zur Berechnung der
Hermite-Normalform von großen, dünnbesetzten, ganzzahligen
Matrizen.
Technische Universität Darmstadt,
[Dissertation]
Jacobson, Michael J. (1999):
Subexponential class group computation in quadratic orders.
Aachen: Shaker, 1999. XVIII, 179 S, Aachen, Shaker, TU Darmstadt,
[Dissertation]
Teske, Edlyn (1998):
Algorithms for Finite Abelian Groups.
Shaker, Technische Universität Darmstadt, ISBN 978-3826540455,
[Dissertation]
Wetzel, Susanne (1998):
Lattice Basis Reduction Algorithms and their
Applications.
Universität des Saarlandes,
[Dissertation]
Denny, Thomas (1997):
Lösen dünn besetzter
Gleichungssysteme über endlichen Körpern.
Universität des Saarlandes,
[Dissertation]
Papanikolaou, Thomas (1997):
Entwurf und Entwicklung einer
objektorientierten Bibliothek für algorithmische Zahlentheorie.
Universität des Saarlandes,
[Dissertation]
Schank, Eric (1997):
Probabilistische Beweisverifikation.
Technische Universität Darmstadt,
[Dissertation]
Weber, Damian (1997):
Diskrete Logarithmen in {GF(p)} mit
dem Number Field Sieve.
Universität des Saarlandes,
[Dissertation]
Zieschang, Thilo (1997):
Finite groups and graphs in
cryptanalysis.
Technische Universität Darmstadt,
[Dissertation]
Setz, Thomas (1996):
Integration von Mechanismen zur
Unterstützung der Fehlertoleranz in {LiPS}.
Universität des Saarlandes,
[Dissertation]
Meyer, Bernd (1995):
Zur Trennung von Klassen
ununterscheidbarer Ensembles.
Universität des Saarlandes,
[Dissertation]
Müller, Volker (1995):
Ein Algorithmus zur Bestimmung der
Punktanzahl elliptischer Kurven über Körpern der Charakteristik
größer drei.
Universität des Saarlandes,
[Dissertation]
Thiel, Christoph (1995):
On the complexity of some problems in
algorithmic algebraic number theory.
Universität des Saarlandes,
[Dissertation]
Zayer, Jörg (1995):
Faktorisieren mit dem Number Field
Sieve.
Universität des Saarlandes,
[Dissertation]
Abel, Christine (1994):
Ein Algorithmus zur Berechnung der
Klassenzahl und des Regulators reellquadratischer Ordnungen.
Universität des Saarlandes,
[Dissertation]
Handl, Ralf (1994):
Sicherheit kryptographischer
Protokolle.
Universität des Saarlandes,
[Dissertation]
Sprang, Oliver van (1994):
Basisreduktionsalgorithmen für
Gitter kleiner Dimension.
Trier, Universität des Saarlandes,
[Dissertation]
Biehl, Ingrid (1993):
Eine Grundlegung der Average-Case Komplexitätstheorie.
Universität des Saarlandes,
[Dissertation]
Düllmann, Stephan (1991):
Ein Algorithmus zur Bestimmumg positiv definiter binaerer quadratischer Formen.
Universität des Saarlandes,
[Dissertation]