Folgen
Patrick Speicher
Patrick Speicher
CISPA − Helmholtz Center for Information Security & Saarland University
Bestätigte E-Mail-Adresse bei cispa.de - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Stackelberg planning: Towards effective leader-follower state space search
P Speicher, M Steinmetz, M Backes, J Hoffmann, R Künnemann
Thirty-Second AAAI Conference on Artificial Intelligence, 2018
362018
Towards Automated Network Mitigation Analysis (extended)
P Speicher, M Steinmetz, J Hoffmann, M Backes, R Künnemann
arXiv preprint arXiv:1705.05088, 2017
22*2017
Towards automated network mitigation analysis
P Speicher, M Steinmetz, J Hoffmann, M Backes, R Künnemann
Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, 1971-1978, 2019
202019
SaarPlan: Combining Saarland’s Greatest Planning Techniques
M Fickert, D Gnad, P Speicher, J Hoffmann
19*
Formally Reasoning about the Cost and Efficacy of Securing the Email Infrastructure
P Speicher, M Steinmetz, R Künnemann, M Simeonovski, G Pellegrino, ...
162018
Faster Stackelberg Planning via Symbolic Search and Information Sharing
À Torralba, P Speicher, R Künnemann, M Steinmetz, J Hoffmann
Proceedings of the AAAI Conference on Artificial Intelligence 35 (13), 11998 …, 2021
62021
Beyond Red-Black Planning: Limited-Memory State Variables
P Speicher, M Steinmetz, D Gnad, J Hoffmann, M Steinmetz, G Alfonso
42017
Pareto-Optimal Defenses for the Web Infrastructure: Theory and Practice
G Di Tizio, P Speicher, M Simeonovski, M Backes, B Stock, R Künnemann
ACM Transactions on Privacy and Security 26 (2), 1-36, 2023
22023
Planning in the Browser
N Tran, P Speicher, R Künnemann, M Backes, A Torralba, J Hoffmann
System Demonstration at the 30th International Conference on Automated …, 2020
12020
Simulated penetration testing and mitigation analysis
P Speicher
Saarländische Universitäts-und Landesbibliothek, 2022
2022
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–10