50 years Univerity of Lübeck

Institute for Theoretical Computer Science

Publications 2020


Journal articles

  • Max Bannach, Till Tantau:
    Computing Hitting Set Kernels By AC^0-Circuits.
    Theory of Computing Systems, 64(3):374--399, 2020.
    Go to website | Show abstract
  • Sebastian Berndt, Maciej Liskiewicz:
    On the universal steganography of optimal rate.
    Information and Computation, 104632(Available online 14 October 2020)2020.
    Go to website
  • Christian Rosenke, Maciej Liskiewicz:
    The generic combinatorial algorithm for image matching with classes of projective transformations.
    Information and Computation, 104550(Available online 25 March 2020)2020.
    Go to website
  • Rüdiger Reischuk, Florian Thaeter:
    Hardness of k-anonymous microaggregation.
    Discrete Applied Mathematics, 2020.
    Go to website | Show abstract

Conference papers

  • Max Bannach, Malte Skambath, Till Tantau:
    Kernelizing the Hitting Set Problem in Linear Sequential and Constant Parallel Time.
    In Proceedings of the 17th Scandinavian Symposium and Workshops on Algorithm Theory (SWAT 2020), LIPIcs, 2020.
    Go to website | Show abstract
  • Max Bannach, Sebastian Berndt, Martin Schuster, Marcel Wienöbst:
    PACE Solver Description: PID*.
    In Proceedings of the 15th International Symposium on Parameterized and Exact Computation (IPEC 2020), LIPIcs, 2020.
    Go to website | Show abstract
  • Max Bannach, Sebastian Berndt, Martin Schuster, Marcel Wienöbst:
    PACE Solver Description: Fluid.
    In Proceedings of the 15th International Symposium on Parameterized and Exact Computation (IPEC 2020), LIPIcs, 2020.
    Go to website | Show abstract
  • Max Bannach, Sebastian Berndt, Marten Maack, Matthias Mnich, Alexandra Lassota, Malin Rau, Malte Skambath:
    Solving Packing Problems with Few Small Items Using Rainbow Matchings.
    In Proceedings of the 45th International Symposium on Mathematical Foundations of Computer Science (MFCS 2020), LIPIcs, 2020.
    Go to website | Go to website | Show abstract
  • Marcel Wienöbst, Maciej Liskiewicz:
    Recovering Causal Structures from Low-Order Conditional Independencies.
    In Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence (AAAI'20), New York, New York USA, pp. 10302-10309. AAAI Press, 2020.
    Go to website | Show PDF

Technical reports

  • Tom Hartmann, Max Bannach, Martin Middendorf, Peter F. Stadler, Nicolas Wieseke, Marc Hellmuth:
    Complete Edge-Colored Permutation Graphs.
    Technical report , , 2020.
    Go to website | Show abstract
  • Okan Seker, Thomas Eisenbarth, Maciej Liskiewicz:
    A White-Box Masking Scheme Resisting Computational and Algebraic Attacks.
    Technical report 2020 (2020): 443., IACR Cryptol. ePrint Arch., 2020.
    Go to website

Masters theses

  • Mena Leemhuis:
    A Logic of Cone-Based Structures.
    Universität zu Lübeck, Institut für Informationssysteme, 2020.
    Supervised by: Özgür L. Özcep, Till Tantau.

Bachelors theses

  • Julia Gawlik:
    Quantification of information leakages in binaries through side-channel vulnerable runtime behavior.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2020.
    Supervised by: Rüdiger Reischuk, Thomas Eisenbarth.
  • Julius Griebel:
    Optimierungsprobleme für Mengensysteme.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2020.
    Supervised by: Rüdiger Reischuk, Özgür Özcep.
  • Christoph Hoffmeyer:
    Das Känguru Problem.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2020.
    Supervised by: Rüdiger Reischuk, Heiko Hamann.
  • Justin Hübner:
    Beschleunigung von Graphfärbungsalgorithmen auf Baumzerlegungen mit Hilfe von Entscheidungsdiagrammen.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2020.
    Supervised by: Till Tantau, Ralf Möller.
  • Katarzyna Jablonska:
    StirMark Tests on Digital Watermarking.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2020.
    Supervised by: Andreas Jakoby, Maciej Liskiewicz.
  • Florian Marwitz:
    Compactification of Probability Distributions.
    Universität zu Lübeck, Institut für Informationssysteme, 2020.
    Supervised by: Ralf Möller, Maciej Liskiewicz.
  • Samuel Oltzen:
    Computerschach.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2020.
    Supervised by: Rüdiger Reischuk, Ralf Möller.
  • Pajam Pauls:
    An Analysis of Contemporary Attacks on White-Box implementations.
    Universität zu Lübeck, Institut für IT-Sicherheit, 2020.
    Supervised by: Thomas Eisenbartg, Maciej Liskiewicz.
  • Julian Smieja:
    Steganographie in Schwarz-Weiß Bildern.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2020.
    Supervised by: Rüdiger Reischuk, Esfandiar Mohammadi.
  • Tim-Henrik Traving:
    Noncense-Algorithm Substitution Attacks on TLS.
    Universität zu Lübeck, Institut für IT-Sicherheit, 2020.
    Supervised by: Thomas Eisenbarth, Maciej Liskiewicz.