Publications

Max Bannach, Sebastian Berndt (2022). Recent Advances in Positive-Instance Driven Graph Searching. Algorithms 2022.

Sebastian Berndt, Max Deppert, Klaus Jansen, Lars Rohwedder (2021). Load Balancing: The Long Road From Theory to Practice (ALENEX 2022). ALENEX 2022.

Preprint

Sebastian Berndt, Jan Wichelmann, Claudius Pott, Tim-Henrik Traving, Thomas Eisenbarth (2021). ASAP: Algorithm Substitution Attacks on Cryptographic Protocols (AsiaCCS 2022). AsiaCCS 2022.

Florian Sieck, Sebastian Berndt, Jan Wichelmann, Thomas Eisenbarth (2021). Util::Lookup: Exploiting key decoding in cryptographic libraries (CCS 2021). CCS 2021.

Preprint

Diego F. Aranha, Sebastian Berndt, Thomas Eisenbarth, Okan Seker, Akira Takahashi, Luca Wilke, Greg Zaverucha (2021). Side-Channel Protections for Picnic Signatures. CHES 2021.

Preprint

Jan Wichelmann, Sebastian Berndt, Claudius Pott, Thomas Eisenbarth (2021). Help, my Signal has bad Device! Breaking the Signal Messenger’s Post-Compromise Security through a Malicious Device. DIMVA 2021.

Preprint

Sebastian Berndt, Kilian Grage, Klaus Jansen, Lukas Johannsen, Maria Kosche (2021). Robust Online Algorithms for Dynamic Choosing Problems. CIE 2021.

Preprint

Sebastian Berndt, Maciej Liskiewicz (2020). On the Universal Steganography of Optimal Rate (Inf. Comput. 2020). Inf. Comput..

Journal

Sebastian Berndt, Klaus Jansen, Alexandra Lassota (2020). Tightness of Sensitivity and Proximity Bounds for Integer Programs (SOFSEM 2021). SOFSEM 2021.

Sebastian Berndt, Klaus Jansen, Kim-Manuel Klein (2020). New Bounds for the Vertices of the Integer Hull (SOSA 2021). SOSA 2021.

Okan Seker, Sebastian Berndt, Luca Wilke, Thomas Eisenbarth (2020). SNI-in-the-head: Protecting MPC-in-the-head Protocols against Side-channel Analysis (CCS 2020). CCS 2020.

IACR ePrint

Max Bannach, Sebastian Berndt, Marten Maack, Matthias Mnich, Alexandra Lassota, Malin Rau, Malte Skambath (2020). Solving Packing Problems with Few Small Items Using Rainbow Matchings (MFCS 2020). MFCS 2020.

Arxiv

Sebastian Berndt, Valentin Dreismann, Kilian Grage, Klaus Jansen, Ingmar Knof (2019). Robust Online Algorithms for Certain Dynamic Packing Problems (WAOA 2019). WAOA 2019.

Arxiv

Sebastian Berndt, Valentin Dreismann, Kilian Grage, Klaus Jansen, Ingmar Knof (2019). Robust Online Algorithms for Certain Dynamic Packing Problems (WAOA 2019). WAOA 2019.

Arxiv

Sebastian Berndt, Leah Epstein, Klaus Jansen, Asaf Levin, Marten Maack, Lars Rohwedder (2019). Online Bin Covering with Limited Migration (ESA 2019). ESA 2019.

Arxiv

Max Bannach, Sebastian Berndt (2019). Positive-Instance Driven Dynamic Programming for Graph Searching (WADS 2019). WADS, 2019.

Proceedings Arxiv

Max Bannach, Sebastian Berndt, Thorsten Ehlers, Dirk Nowotka (2018). SAT-Encodings of Tree Decompositions (SAT 2018). SAT Competition, 2018.

Proceedings

Sebastian Berndt, Klaus Jansen, Kim-Manuel Klein (2018). Fully Dynamic Bin Packing Revisited (Math. Prog. 2018). Math. Program..

Slides Video Journal Arxiv

Max Bannach, Sebastian Berndt (2018). Practical Access to Dynamic Programming on Tree Decompositions (ESA 2018). ESA 2018.

Proceedings Arxiv Journal

Sebastian Berndt, Kim-Manuel Klein (2018). Using Structural Properties for Integer Programs (CIE 2018). CIE 2018.

Private Copy

Sebastian Berndt (2018). Computing Tree Width: From Theory to Practice and Back (CIE 2018). CIE 2018.

Private Copy

Sebastian Berndt, Maciej Liśkiewicz (2018). On the Gold Standard for Security of Universal Steganography (EUROCRYPT 2018). EUROCRYPT 2018.

Proceedings Arxiv

Sebastian Berndt, Maciej Liśkiewicz (2017). Algorithm Substitution Attacks from a Steganographic Perspective (CCS 2017). CCS 2017.

Proceedings Arxiv

Max Bannach, Sebastian Berndt, Thorsten Ehlers (2017). Jdrasil: A Modular Library for Computing Tree Decompositions (SEA 2017). SEA 2017.

Proceedings

Sebastian Berndt, Maciej Liśkiewicz, Matthias Lutter, Rüdiger Reischuk (2017). Learning Residual Alternating Automata (AAAI 2017). AAAI 2017.

Proceedings ECCC

Sebastian Berndt, Maciej Liśkiewicz (2016). Hard Communication Channels for Steganography (ISAAC 2016). ISAAC 2016.

Proceedings

Sebastian Berndt, Maciej Liśkiewicz (2016). Provable Secure Universal Steganography of Optimal Rate (IH&MMSec 2016). IH&MMSec 2016.

Proceedings Private Copy

Sebastian Berndt, Rüdiger Reischuk (2016). Steganography Based on Pattern Languages (LATA 2016). LATA 2016.

Slides Proceedings Private Copy

Sebastian Berndt, Klaus Jansen, Kim-Manuel Klein (2015). Fully Dynamic Bin Packing Revisited (APPROX-RANDOM 2015). APPROX-RANDOM 2015.

Slides Video Proceedings Arxiv Journal