Publications

You can also check out my Google scholar profile and DBLP probile.

Publications

• Speicher, P. (2022). Simulated Penetration Testing and Mitigation Analysis. PhD Thesis, Saarland University. PDF download

• Tizio, G. D., Speicher, P., Simeonovski, M., Backes, M., Stock, B., & Künnemann, R. (2022). Pareto-Optimal Defenses for the Web Infrastructure: Theory and Practice. ACM Transactions on Privacy and Security. PDF download Project website

• Torralba, A., Speicher, P., Künnemann, R., Steinmetz, M., & Hoffmann, J. (2021, March). Faster Stackelberg Planning via Symbolic Search and Information Sharing. In Thirty-Fifth AAAI Conference on Artificial Intelligence. PDF download Code

• Tran, N., Speicher, P., Künnemann, R., Backes, M., Torralba, A., & Hoffmann, J. (2020). Planning in the Browser. In System Demonstration at the 30th International Conference on Automated Planning and Scheduling (ICAPS). PDF download Project website

• Speicher, P., Steinmetz, M., Hoffmann, J., Backes, M., & Künnemann, R. (2019, April). Towards automated network mitigation analysis. In Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing (pp. 1971-1978). PDF download Code

• Fickert, M., Gnad, D., Speicher, P., & Hoffmann, J. (2018). Saarplan: Combining saarland’s greatest planning techniques. IPC2018–Classical Tracks, 10-15. PDF download

• Speicher, P., Steinmetz, M., Künnemann, R., Simeonovski, M., Pellegrino, G., Hoffmann, J., & Backes, M. (2018, April). Formally Reasoning about the Cost and Efficacy of Securing the Email Infrastructure. In 2018 IEEE European Symposium on Security and Privacy (EuroS&P) (pp. 77-91). PDF download Code Project website

• Speicher, P., Steinmetz, M., Backes, M., Hoffmann, J., & Künnemann, R. (2018, April). Stackelberg planning: Towards effective leader-follower state space search. In Thirty-Second AAAI Conference on Artificial Intelligence. PDF download Code

• Speicher, P., Steinmetz, M., Gnad, D., Hoffmann, J., & Gerevini, A. (2017, June). Beyond Red-Black Planning: Limited-Memory State Variables. In Twenty-Seventh International Conference on Automated Planning and Scheduling (ICAPS). PDF download

Applications

• You can interactively play around with our results of "Formally Reasoning about the Cost and Efficacy of Securing the Email Infrastructure" on mitigations.whocontrolstheinternet.com.

• We developed an improved version of mitigations.whocontrolstheinternet.com available on project.cispa.io/fd-in-browser/ which additionally allows you to solve arbitrary Planning tasks with FastDownward running as WebAssembly code in your browser. Our work was presented at the ICAPS'20 System Demonstration workshop under the name Planning in the Browser . You can find a detailed description of this project on https://sites.google.com/view/planning-in-the-browser/.

• For our "Pareto-Optimal Defenses for the Web Infrastructure: Theory and Practice" publication, we created a web-based GUI at mitigation-web.github.io to analyze and investigate optimal mitigation deployments for the web infrastructure with customizable costs.