Patrick Speicher

Publication Activity (10 Years)

Years Active: 2017-2023
Publications (10 Years): 7

Top Topics

State Space Search

Information Exchange

Iterative Deepening

Top Venues

Publications

Giorgio Di Tizio, Patrick Speicher, Milivoj Simeonovski, Michael Backes, Ben Stock, Robert Künnemann
Pareto-optimal Defenses for the Web Infrastructure: Theory and Practice. ACM Trans. Priv. Secur. 26 (2) (2023)
Álvaro Torralba, Patrick Speicher, Robert Künnemann, Marcel Steinmetz, Jörg Hoffmann
Faster Stackelberg Planning via Symbolic Search and Information Sharing. AAAI (2021)
Patrick Speicher, Marcel Steinmetz, Jörg Hoffmann, Michael Backes, Robert Künnemann
Towards automated network mitigation analysis. SAC (2019)
Patrick Speicher, Marcel Steinmetz, Robert Künnemann, Milivoj Simeonovski, Giancarlo Pellegrino, Jörg Hoffmann, Michael Backes
Formally Reasoning about the Cost and Efficacy of Securing the Email Infrastructure. EuroS&P (2018)
Patrick Speicher, Marcel Steinmetz, Michael Backes, Jörg Hoffmann, Robert Künnemann
Stackelberg Planning: Towards Effective Leader-Follower State Space Search. AAAI (2018)
Michael Backes, Jörg Hoffmann, Robert Künnemann, Patrick Speicher, Marcel Steinmetz
Simulated Penetration Testing and Mitigation Analysis. CoRR (2017)
Patrick Speicher, Marcel Steinmetz, Daniel Gnad, Jörg Hoffmann, Alfonso Gerevini
Beyond Red-Black Planning: Limited-Memory State Variables. ICAPS (2017)