Beyond Red-Black Planning: Limited-Memory State Variables. - Patrick Speicher; Marcel Steinmetz; Daniel Gnad 001; Jörg Hoffmann 001; Alfonso Gerevini (ICAPS, 2017)

Simulated Penetration Testing and Mitigation Analysis. - Michael Backes 001; Jörg Hoffmann 001; Robert Künnemann; Patrick Speicher; Marcel Steinmetz (CoRR, 2017)

Stackelberg Planning: Towards Effective Leader-Follower State Space Search. - Patrick Speicher; Marcel Steinmetz; Michael Backes 001; Jörg Hoffmann 001; Robert Künnemann (AAAI, 2018)

Formally Reasoning about the Cost and Efficacy of Securing the Email Infrastructure. - Patrick Speicher; Marcel Steinmetz; Robert Künnemann; Milivoj Simeonovski; Giancarlo Pellegrino; Jörg Hoffmann 001; Michael Backes 001 (EuroS&P, 2018)

Towards automated network mitigation analysis. - Patrick Speicher; Marcel Steinmetz; Jörg Hoffmann 001; Michael Backes 001; Robert Künnemann (SAC, 2019)

Faster Stackelberg Planning via Symbolic Search and Information Sharing. - Álvaro Torralba; Patrick Speicher; Robert Künnemann; Marcel Steinmetz; Jörg Hoffmann 001 (AAAI, 2021)

Simulated penetration testing and mitigation analysis. - Patrick Speicher (2022)

Pareto-optimal Defenses for the Web Infrastructure: Theory and Practice. - Giorgio Di Tizio; Patrick Speicher; Milivoj Simeonovski; Michael Backes 001; Ben Stock; Robert Künnemann (ACM Trans. Priv. Secur., 2023)