50 years Univerity of Lübeck

Institute for Theoretical Computer Science

Publications 2022


Proceedings

  • Rüdiger Reischuk, Steffen Hölldobler et al.:
    Ausgezeichnete Informatikdissertationen 2020.
    Lecture Notes in Informatics, GI-Edition, 2022.

Journal articles

  • Max Bannach, Sebastian Berndt:
    Recent Advances in Positive-Instance Driven Graph Searching.
    Algorithms, 15(2):42, 2022.
    Go to website | Show abstract
  • Sebastian Berndt, Franziska Eberle, Nicole Megow:
    Online load balancing with general reassignment cost.
    Operations Research Letters, 50(3):322-328, 2022.
  • Tom Hartmann, Max Bannach, Martin Middendorf, Peter F. Stadler, Nicolas Wieseke, Marc Hellmuth:
    Complete edge-colored permutation graphs.
    Advances in Applied Mathematics, 2022.
    Go to website

Conference papers

  • Max Bannach, Pamela Fleischmann, Malte Skambath:
    MaxSAT with Absolute Value Functions: A Parameterized Perspective.
    In Proceedings of the 18th Scandinavian Symposium and Workshops on Algorithm Theory (SWAT 2022), LIPIcs, 2022.
    Go to website
  • Max Bannach, Malte Skambath, Till Tantau:
    On the Parallel Parameterized Complexity of MaxSAT Variants.
    In Proceedings of the 25th International Conference on Theory and Applications of Satisfiability Testing (SAT 2022), LIPIcs, 2022.
    Go to website
  • Sebastian Berndt, Jan Wichelmann, Claudius Pott, Tim-Henrik Tracking, Thomas Eisenbarth:
    ASAP: Algorithm Substitution Attacks on Cryptographic Protocols.
    In Proceedings ASIACCS, ACM, 2022.
  • Sebastian Berndt, Max A. Deppert, Klaus Jansen, Lars Rohwedder:
    Load Balancing: The Long Road from Theory to Practice..
    In Proceedings of the Symposium on Algorithm Engineering and Experiments, ALENEX 2022, pp. 104-116. SIAM, 2022.
    Go to website
  • Marcel Wienöbst, Max Bannach, Maciej Liskiewicz:
    A New Constructive Criterion for Markov Equivalence of MAGs.
    In Proc. of the Thirty-Eighth Conference on Uncertainty in Artificial Intelligence (UAI 2022), pp. 2107-2116. PMLR, 2022.
    Go to website
  • Benito van der Zander, Marcel Wienöbst, Markus Bläser, Maciej Liskiewicz:
    Identification in Tree-shaped Linear Structural Causal Models.
    In Proceedings of The 25th International Conference on Artificial Intelligence and Statistics, pp. 6770-6792. PLMR, 2022.
    Go to website

Masters theses

  • Paula Arnold:
    Prevention of combined probing and fault attacks using active multiparty computation in the honest-majority setting.
    Universität zu Lübeck, Institut für IT-Sicherheit, 2022.
    Supervised by: Thomas Eisenbarth, Sebastian Berndt.
  • Tim Gellersen:
    New zero-knowledge proofs for selected NP-complete problems.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2022.
    Supervised by: Maciej Liskiewicz, Sebastian Berndt.
  • Sophie Ketelsen:
    Fault Attacks on BIKE.
    Universität zu Lübeck, Institut für IT-Sicherheit, 2022.
    Supervised by: Thomas Eisenbarth, Sebastian Berndt.
  • Julia Tönnies:
    On the Leakage Resilience of the Sponge Construction and its Relation to XMSS by the Usage as a Building Block of SHA-3.
    Universität zu Lübeck, Institut für IT-Sicherheit, 2022.
    Supervised by: Thomas Eisenbarth, Sebastian Berndt.

Bachelors theses

  • Jorge Andresen:
    Exploring ways to improve the runtime of Banquet.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2022.
    Supervised by: Sebastian Berndt, Esfandiar Mohammadi.
  • Adrian Billen:
    Implementation and Evaluation of cryptographic reverse firewalls with regard to their practicality.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2022.
    Supervised by: Sebastian Berndt, Thomas Eisenbarth.
  • Frederik Lehmann:
    Analyse der Uniformität von Knapsack-Verteilungen.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2022.
    Supervised by: Sebastian Berndt, Thomas Eisenbarth.
  • Jack Mähl:
    Implementation of covert MPC protocols.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2022.
    Supervised by: Sebastian Berndt, Thomas Eisenbarth.