50 years Univerity of Lübeck

Institute for Theoretical Computer Science

Publications 2023


Proceedings

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

Journal articles

  • Sebastian Berndt, Leah Epstein, Klaus Jansen, Asaf Levin, Marten Maack, Lars Rohwedder:
    Online Bin Covering with Limited Migration.
    J. Comput. Syst. Sci., 2023.
  • Marcel Wienöbst, Max Bannach, Maciej Liskiewicz:
    Polynomial-Time Algorithms for Counting and Sampling Markov Equivalent DAGs with Applications.
    Journal of Machine Learning Research, (24.213):1-45, 2023.
    Go to website

Conference papers

  • 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.
  • Malte Luttermann, Marcel Wienöbst, Maciej Liskiewicz:
    Practical Algorithms for Orientations of Partially Directed Graphical Models.
    In Conference on Causal Learning and Reasoning (CLeaR 2023), pp. 1-20. PLRM, 2023.
    Go to website
  • Florian Thaeter, Rüdiger Reischuk:
    Improving Time Complexity and Utility of k-anonymous Microaggregation.
    In E-Business and Telecommunications, 18.~Int. Conference ICETE 2021, Volume 1795 of Communications in Computer and Information Science, pp. 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.
  • Marcel Wienöbst, Malte Luttermann, Max Bannach, Maciej Liskiewicz:
    Efficient enumeration of Markov equivalent DAGs.
    In AAAI Conference on Artificial Intelligence (AAAI 2023), pp. 12313-12320. , 2023.
    Go to website
  • Benito van der Zander, Markus Bläser, Maciej Liskiewicz:
    The hardness of reasoning about probabilities and causality.
    In International Joint Conference on Artificial Intelligence (IJCAI 2023), pp. 5730. , 2023.
    Show PDF

Masters theses

  • 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.
    Supervised by: Reinhard Schuster, Sebastian Berndt.
  • P. P.:
    Extending MASKVERIF to Advanced Masking Schemes.
    Universität zu Lübeck, Institut für IT-Sicherheit, 2023.
    Supervised by: 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.
    Supervised by: 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.
    Supervised by: Till Tantau, Ralf Möller.
  • L.S.:
    The Self-Avoiding Walk.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2023.
    Supervised by: Rüdiger Reischuk, Andreas Rößler.

Bachelors theses

  • 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.
    Supervised by: 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.
    Supervised by: Sebastian Berndt, Thomas Eisenbarth.
  • M. H.:
    Implementing Secure Summation For Mobile Devices.
    Universität zu Lübeck, Institut für IT-Sicherheit, 2023.
    Supervised by: Esfandiar Mohammadi, Sebastian Berndt.
  • C. H.:
    Secure and Fast Outsourced Machine Learning.
    Universität zu Lübeck, Institut für IT-Sicherheit, 2023.
    Supervised by: 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.
    Supervised by: Sebastian Berndt, Saleh Mulhem.
  • D.A.:
    ML-based Methods for Predicting Price Movements.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2023.
    Supervised by: Maciej Liskiewicz, Marcin Grzegorzek.
  • D.K.:
    Analyse eines parallelen Semisortierverfahrens.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2023.
    Supervised by: 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.
    Supervised by: Till Tantau, Esfandiar Mohammadi.
  • J.W.:
    Post-Compromise attack on Signalprotocol.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2023.
    Supervised by: Sebastian Berndt, Thomas Eisenbarth.
  • K.H.:
    Implementation of substitution attacks on Sigma protocols.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2023.
    Supervised by: 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.
    Supervised by: Till Tantau, Esfandiar Mohammadi.
  • M.D.:
    WebRTC Anwendung im medizinischen Kontext.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2023.
    Supervised by: 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.
    Supervised by: Sebastian Berndt, Esfandiar Mohammadi.
  • S.G.:
    Dynamische Algorithmen für Rucksack-Probleme.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2023.
    Supervised by: 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.
    Supervised by: 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.
    Supervised by: Maciej Lisikiewicz, Thomas Eisenbarth.
  • V.B.:
    Evaluation eines Algorithmus für eine schnelle Breitensuche.
    Universität zu Lübeck, Institut für Informationssysteme, 2023.
    Supervised by: Ralf Möller, Till Tantau.