Challenges and Approaches in Securing Safety-Relevant Railway Signalling. - Christian Schlehuber; Markus Heinrich; Tsvetoslava Vateva-Gurova; Stefan Katzenbeisser 001; Neeraj Suri (EuroS&P Workshops, 2017)

A Security Architecture for Railway Signalling. - Christian Schlehuber; Markus Heinrich; Tsvetoslava Vateva-Gurova; Stefan Katzenbeisser 001; Neeraj Suri (SAFECOMP, 2017)

A Reference Architecture for Integrating Safety and Security Applications on Railway Command and Control Systems. - Henk Birkholz; Christoph Krauß; Maria Zhdanova; Don Kuzhiyelil; Tolga Arul; Markus Heinrich; Stefan Katzenbeisser 001; Neeraj Suri; Tsvetoslava Vateva-Gurova; Christian Schlehuber (MILS@DSN, 2018)

Security Analysis of the RaSTA Safety Protocol. - Markus Heinrich; Jannik Vieten; Tolga Arul; Stefan Katzenbeisser 001 (ISI, 2018)

Tracking Private Browsing Sessions using CPU-based Covert Channels. - Nikolay Matyunin; Nikolaos Athanasios Anagnostopoulos; Spyros Boukoros; Markus Heinrich; André Schaller; Maksim Kolinichenko; Stefan Katzenbeisser 001 (WISEC, 2018)

Robustness of Magic and Symmetries of the Stabiliser Polytope. - Markus Heinrich; David Gross 003 (Quantum, 2019)

Security Requirements Engineering in Safety-Critical Railway Signalling Networks. - Markus Heinrich; Tsvetoslava Vateva-Gurova; Tolga Arul; Stefan Katzenbeisser 001; Neeraj Suri; Henk Birkholz; Andreas Fuchs 002; Christoph Krauß; Maria Zhdanova; Don Kuzhiyelil; Sergey Tverdyshev; Christian Schlehuber (Secur. Commun. Networks, 2019)

Predicting Railway Signalling Commands Using Neural Networks for Anomaly Detection. - Markus Heinrich; Dominik Renkel; Tolga Arul; Stefan Katzenbeisser 001 (SAFECOMP, 2020)

Demo: Railway Signalling Security Testbed. - Markus Heinrich; Tolga Arul; Stefan Katzenbeisser 001 (VNC, 2020)

Risk Assessment Graphs: Utilizing Attack Graphs for Risk Assessment. - Simon Unger; Ektor Arzoglou; Markus Heinrich; Dirk Scheuermann; Stefan Katzenbeisser 001 (CoRR, 2023)

Synthesis of and compilation with time-optimal multi-qubit gates. - Pascal Baßler; Matthias Zipper; Christopher Cedzich; Markus Heinrich; Patrick H. Huber; Michael Johanning; Martin Kliesch (Quantum, 2023)

Rule-based anomaly detection for railway signalling networks. - Markus Heinrich; Arwed Gölz; Tolga Arul; Stefan Katzenbeisser 001 (Int. J. Crit. Infrastructure Prot., 2023)

Closed-form analytic expressions for shadow estimation with brickwork circuits. - Mirko Arienzo; Markus Heinrich; Ingo Roth; Martin Kliesch (Quantum Inf. Comput., 2023)

Time-optimal multi-qubit gates: Complexity, efficient heuristic and gate-time bounds. - Pascal Baßler; Markus Heinrich; Martin Kliesch (Quantum, 2024)