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.
  • Rüdiger Reischuk et al.:
    Ausgezeichnete Informatikdissertationen 2021.
    Lecture Notes in Informatics, GI-Edition, 2022.

Journal articles

  • Max Bannach, Zacharias Heinrich, Rüdiger Reischuk, Till Tantau:
    Dynamic Kernels for Hitting Sets and Set Packing.
    Algorithmica, 84:3459–3488, 2022.
    Go to website | Show abstract
  • Max Bannach, Sebastian Berndt:
    Recent Advances in Positive-Instance Driven Graph Searching.
    Algorithms, 15(2):42, 2022.
    Go to website | Show abstract
  • Sebastian Berndt, Maciej Liskiewic, Matthias Lutter, Rüdiger Reischuk:
    Learning residual alternating automata.
    Inf. Comput., 289(Part):861-878, 2022.
  • Sebastian Berndt, Maciej Liskiewicz, Matthias Lutter, Rüdiger Reischuk:
    Learning residual alternating automata.
    Information and Computation, (289):104981, 2022.
    Go to website
  • 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
  • Rüdiger Reischuk:
    The Kangaroo Problem.
    Volume 898 of Theoretical Computer Science, pp. 50-58. Elsevier, 2022.
    Go to website
  • Florian Thaeter, Rüdiger Reischuk:
    Hardness of k-anonymous Microaggregation.
    Volume 303 of Discrete Applied Mathematics, pp. 149-158. Elsevier, 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

  • P. A.:
    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.
  • T. G.:
    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.
  • J. H.:
    Adapting Lattice-based Attacks to break Diffie-Hellman.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2022.
    Supervised by: Sebastian Berndt, Thomas Eisenbarth.
  • S. K.:
    Fault Attacks on BIKE.
    Universität zu Lübeck, Institut für IT-Sicherheit, 2022.
    Supervised by: Thomas Eisenbarth, Sebastian Berndt.
  • J. T.:
    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.
  • F.H.:
    Algorithmics of Graphs of Bounded Twin-Width.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2022.
    Supervised by: Rüdiger Reischuk, Max Bannach.
  • M.S.:
    Development of a Treewidth-Guided MaxSAT Solver.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2022.
    Supervised by: Till Tantau, Esfandiar Mohamadi.

Bachelors theses

  • J. A.:
    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.
  • K. H.:
    Membership Inference Attack on random forest regression models.
    Universität zu Lübeck, Institut für IT-Sicherheit, 2022.
    Supervised by: Esfandiar Mohammadi, Sebastian Berndt.
  • F. L.:
    Analyse der Uniformität von Knapsack-Verteilungen.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2022.
    Supervised by: Sebastian Berndt, Thomas Eisenbarth.
  • J. M.:
    Implementation of covert MPC protocols.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2022.
    Supervised by: Sebastian Berndt, Thomas Eisenbarth.
  • N. W.:
    Differentially Private Percentils with Secure Multiparty Computation using SCALE Framework.
    Universität zu Lübeck, Institut für IT-Sicherheit, 2022.
    Supervised by: Esfandiar Mohammadi, Sebastian Berndt.
  • J. W.:
    Estimating Input Distributions of Partial Background Knowledge for Differential Privacy Mechanisms.
    Universität zu Lübeck, Institut für IT-Sicherheit, 2022.
    Supervised by: Esfandiar Mohammadi, Sebastian Berndt.
  • A.B.:
    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.
  • F.B.:
    Floor Sensor Data using Neural Networks.
    Universität zu Lübeck, Institut für Medizinische Informatik, 2022.
    Supervised by: Marcin Grzegorzek, Maciej Liskiewicz.
  • J.B.:
    Secure Steganography on ML-Based Channels.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2022.
    Supervised by: Maciej Liskiewicz, Esfandiar Mohammadi.
  • J.H.G.:
    k-Server-Typ-Scheduling mit Umrüstungskosten.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2022.
    Supervised by: Rüdiger Reischuk, Maciej Liskiewicz.
  • J.v.d.H.:
    Boosting Sequential Composition for Noiseless Privacy via Subsampling.
    Universität zu Lübeck, Institut für IT-Sicherheit, 2022.
    Supervised by: Esfandiar Mohammadi, Rüdiger Reischuk.
  • K.F.:
    Parallel Data Reduction for the Odd Cycle Traversal Problem.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2022.
    Supervised by: Till Tantau, Ralf Möller.
  • L.O.:
    Protocols for Private Edit Distance Estimation.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2022.
    Supervised by: Maciej Liskiewicz, Esfandiar Mohammadi.