Model-based safety analysis of SELinux security policies. - Peter Amthor 001; Winfried E. Kühnhauser; Anja Pölck (NSS, 2011)

Heuristic safety analysis of access control models. - Peter Amthor 001; Winfried E. Kühnhauser; Anja Pölck (SACMAT, 2013)

WorSE: A Workbench for Model-based Security Engineering. - Peter Amthor 001; Winfried E. Kühnhauser; Anja Pölck (Comput. Secur., 2014)

The Entity Labeling Pattern for Modeling Operating Systems Access Control. - Peter Amthor 001 (ICETE (Selected Papers), 2015)

A Uniform Modeling Pattern for Operating Systems Access Control Policies with an Application to SELinux. - Peter Amthor 001 (SECRYPT, 2015)

Security Policy Synthesis in Mobile Systems. - Peter Amthor 001; Winfried E. Kühnhauser (SERVICES, 2015)

Efficient Heuristic Safety Analysis of Core-based Security Policies. - Peter Amthor 001 (SECRYPT, 2017)

Towards a Uniform Framework for Dynamic Analysis of Access Control Models. - Peter Amthor 001 (CoRR, 2017)

Automated Cyber Threat Sensing and Responding: Integrating Threat Intelligence into Security-Policy-Controlled Systems. - Peter Amthor 001; Daniel Fischer 003; Winfried E. Kühnhauser; Dirk Stelzer (ARES, 2019)

Static Termination Analysis for Event-driven Distributed Algorithms. - Felix Wiemuth; Peter Amthor 001; Winfried E. Kühnhauser (DEBS, 2019)

Command Dependencies in Heuristic Safety Analysis of Access Control Models. - Peter Amthor 001; Martin Rabe (FPS, 2019)

Aspect-oriented security engineering: a model-based approach. - Peter Amthor 001 (Cuvillier Verlag, 2019)

Towards Language Support for Model-based Security Policy Engineering. - Peter Amthor 001; Marius Schlegel (ICETE (2), 2020)

Beyond Administration: A Modeling Scheme Supporting the Dynamic Analysis of Role-based Access Control Policies. - Marius Schlegel; Peter Amthor 001 (ICETE (2), 2020)

Putting the Pieces Together: Model-Based Engineering Workflows for Attribute-Based Access Control Policies. - Marius Schlegel; Peter Amthor 001 (ICETE (Selected Papers), 2021)

The Missing Piece of the ABAC Puzzle: A Modeling Scheme for Dynamic Analysis. - Marius Schlegel; Peter Amthor 001 (SECRYPT, 2021)

Erfahrungen bei der Integration des Autograding-Systems CodeOcean in die universitäre Programmierausbildung. - Peter Amthor 001; Ulf Döring; Daniel Fischer 003; Jonas Genath; Gunther Kreuzberger (ABP, 2023)

APP-CEP: Adaptive Pattern-Level Privacy Protection in Complex Event Processing Systems. - Majid Lotfian Delouee; Victoria Degeler; Peter Amthor 001; Boris Koldehofe (ICISSP, 2024)

A Composition Algebra for Decentralized Enforcement of Access Control Policies with an Application to Vehicular Networks. - Peter Amthor 001; René Gorges (SECRYPT, 2024)

Multi-Stakeholder Policy Enforcement for Distributed Systems. - Robert Walther; Carsten Weinhold; Peter Amthor 001; Michael Roitzsch (WOC@Middleware, 2024)