50 Jahre Uni Lübeck

Institut für Theoretische Informatik

Publikationen 2023


Editorium

  • S. Apel, A. Bernstein, F. Freiling, H. Lenhof, G. Neumann, R. Reischuk, K. Römer, B. Scheuermann, N. Schweikardt, K. Wehrle:
    Ausgezeichnete Informatikdissertationen 2022.
    Band D23 von Lecture Notes in Informatics, Gesellschaft für Informatik, 2023.

Zeitschriftenartikel

  • Sebastian Berndt, Leah Epstein, Klaus Jansen, Asaf Levin, Marten Maack, Lars Rohwedder:
    Online Bin Covering with Limited Migration.
    J. Comput. Syst. Sci., 2023.

Konferenzbeiträge

  • Pascal Bemmann, Sebastian Berndt, Denis Diemert, Tibor Jager:
    Subversion-Resilient Authenticated Encryption without Random Oracles.
    In Applied Cryptography and Network Security, ACNS 2023, Communications in Computer and Information Science, , 2023.
  • Sebastian Berndt, Thomas Eisenbarth, Sebastian Faust, Marc Gourjon, Maximilian Orlt, Okan Seker:
    Combined Fault and Leakage Resilience: Composability, Constructions and Compiler.
    In Advances in Cryptology - CRYPTO 2023, Springer, 2023.
  • Sebastian Berndt, Hauke Brinkop, Klaus Jansen, Matthias Mnich, Tobias Stamm:
    New Support Size Bounds for Integer Programming, Applied to Makespan Minimization on Uniformly Related Machines.
    In The 34th International Symposium on Algorithms and Computation (ISAAC 2023), , 2023.
  • Florian Thaeter, Rüdiger Reischuk:
    Improving Time Complexity and Utility of k-anonymous Microaggregation.
    In E-Business and Telecommunications, 18.~Int. Conference ICETE 2021, Band 1795 von Communications in Computer and Information Science, S. 195-223. Springer, 2023.
  • Thore Tiemann, Sebastian Berndt, Thomas Eisenbarth, Maciej Liskiewicz:
    "Act natural!": Having a Private Chat on a Public Blockchain.
    In 8th IEEE European Symposium on Security and Privacy (EuroS&P '23), IEEE, 2023.

Master- und Diplomarbeiten

  • E. H.:
    Kryptografische Anwendungen von klassischer Zahlentheorie bis zu elliptischen Kurven über endlichen Körpern.
    Universität zu Lübeck, Institut für Mathematik, 2023.
    Gutachter: Reinhard Schuster, Sebastian Berndt.
  • P. P.:
    Extending MASKVERIF to Advanced Masking Schemes.
    Universität zu Lübeck, Institut für IT-Sicherheit, 2023.
    Gutachter: Thomas Eisenbarth, Sebastian Berndt.
  • B.F.:
    Fast Estimating of Causal Effects from CPDAGs and Observed Data.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2023.
    Gutachter: Maciej Liskiewicz, Ralf Möller.
  • F.M.:
    Algorithmen für Graphen mit beschränkter Twinwidth.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2023.
    Gutachter: Till Tantau, Ralf Möller.
  • L.S.:
    The Self-Avoiding Walk.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2023.
    Gutachter: Rüdiger Reischuk, Andreas Rößler.

Bachelor- und Studienarbeiten

  • R. D.:
    Praktische Evaluation eines neuen Algorithmus für Varianten des unbeschränkten Teilsummenproblems.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2023.
    Gutachter: Sebastian Berndt, Esfandiar Mohammadi.
  • T. E.:
    Fault Injection: An Attack on the post quantum KEM BIKE.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2023.
    Gutachter: Sebastian Berndt, Thomas Eisenbarth.
  • M. H.:
    Implementing Secure Summation For Mobile Devices.
    Universität zu Lübeck, Institut für IT-Sicherheit, 2023.
    Gutachter: Esfandiar Mohammadi, Sebastian Berndt.
  • C. H.:
    Secure and Fast Outsourced Machine Learning.
    Universität zu Lübeck, Institut für IT-Sicherheit, 2023.
    Gutachter: Thomas Eisenbarth, Sebastian Berndt.
  • A.S.P.:
    Analysis of Fault Injection Impacts on Cryptographic Primitives.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2023.
    Gutachter: Sebastian Berndt, Saleh Mulhem.
  • D.A.:
    ML-based Methods for Predicting Price Movements.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2023.
    Gutachter: Maciej Liskiewicz, Marcin Grzegorzek.
  • D.K.:
    Analyse eines parallelen Semisortierverfahrens.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2023.
    Gutachter: Max Bannach, Esfandiar Mohammadi.
  • D.K.:
    Twin-Width 0 and 1 on Trigraphs Using Modular Decomposition.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2023.
    Gutachter: Till Tantau, Esfandiar Mohammadi.
  • J.W.:
    Post-Compromise attack on Signalprotocol.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2023.
    Gutachter: Sebastian Berndt, Thomas Eisenbarth.
  • K.H.:
    Implementation of substitution attacks on Sigma protocols.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2023.
    Gutachter: Sebastian Berndt, Thomas Eisenbarth.
  • M.D.:
    Implementation und Evaluation von Algorithmen zur Bestimmung von Erfüllbarkeitswahrscheinlichkeiten von aussagelogischen Formeln.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2023.
    Gutachter: Till Tantau, Esfandiar Mohammadi.
  • M.D.:
    WebRTC Anwendung im medizinischen Kontext.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2023.
    Gutachter: Rüdiger Reischuk, Andreas Schrader.
  • P.L.:
    Implementierung von Angriffen gegen das Matrix-Protokoll.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2023.
    Gutachter: Sebastian Berndt, Esfandiar Mohammadi.
  • S.G.:
    Dynamische Algorithmen für Rucksack-Probleme.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2023.
    Gutachter: Sebastian Berndt, Kim-Manuel Klein.
  • S.K.:
    Entwicklung eines Tools zur Rückverfolgung von Cardano-Transaktionen.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2023.
    Gutachter: Sebastian Berndt, Esfandiar Mohammadi.
  • S.M.:
    Exploring Steganographic Schemes as Algorithm Substitution Attacks against ECDSA in the Context of Bitcoin Transactions.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2023.
    Gutachter: Maciej Lisikiewicz, Thomas Eisenbarth.
  • V.B.:
    Evaluation eines Algorithmus für eine schnelle Breitensuche.
    Universität zu Lübeck, Institut für Informationssysteme, 2023.
    Gutachter: Ralf Möller, Till Tantau.