Peter Amthor

ORCID

Publication Activity (10 Years)

Years Active: 2011-2023
Publications (10 Years): 13

Top Venues

SECRYPT

ICETE (Selected Papers)

ICETE (2)

CoRR

Technische Universität Ilmenau, Germany (PHD)

Education History

Technische Universität Ilmenau, Germany

PHD

Publications

Peter Amthor, Ulf Döring, Daniel Fischer, Jonas Genath, Gunther Kreuzberger
Erfahrungen bei der Integration des Autograding-Systems CodeOcean in die universitäre Programmierausbildung. ABP (2023)
Marius Schlegel, Peter Amthor
The Missing Piece of the ABAC Puzzle: A Modeling Scheme for Dynamic Analysis. SECRYPT (2021)
Marius Schlegel, Peter Amthor
Putting the Pieces Together: Model-Based Engineering Workflows for Attribute-Based Access Control Policies. ICETE (Selected Papers) (2021)
Marius Schlegel, Peter Amthor
Beyond Administration: A Modeling Scheme Supporting the Dynamic Analysis of Role-based Access Control Policies. ICETE (2) (2020)
Peter Amthor, Marius Schlegel
Towards Language Support for Model-based Security Policy Engineering. ICETE (2) (2020)
Peter Amthor, Martin Rabe
Command Dependencies in Heuristic Safety Analysis of Access Control Models. FPS (2019)
Felix Wiemuth, Peter Amthor, Winfried E. Kühnhauser
Static Termination Analysis for Event-driven Distributed Algorithms. DEBS (2019)
Peter Amthor, Daniel Fischer, Winfried E. Kühnhauser, Dirk Stelzer
Automated Cyber Threat Sensing and Responding: Integrating Threat Intelligence into Security-Policy-Controlled Systems. ARES (2019)
Peter Amthor
Efficient Heuristic Safety Analysis of Core-based Security Policies. SECRYPT (2017)
Peter Amthor
Towards a Uniform Framework for Dynamic Analysis of Access Control Models. CoRR (2017)
Peter Amthor
A Uniform Modeling Pattern for Operating Systems Access Control Policies with an Application to SELinux. SECRYPT (2015)
Peter Amthor, Winfried E. Kühnhauser
Security Policy Synthesis in Mobile Systems. SERVICES (2015)
Peter Amthor
The Entity Labeling Pattern for Modeling Operating Systems Access Control. ICETE (Selected Papers) (2015)
Peter Amthor, Winfried E. Kühnhauser, Anja Pölck
WorSE: A Workbench for Model-based Security Engineering. Comput. Secur. 42 (2014)
Peter Amthor, Winfried E. Kühnhauser, Anja Pölck
Heuristic safety analysis of access control models. SACMAT (2013)
Peter Amthor, Winfried E. Kühnhauser, Anja Pölck
Model-based safety analysis of SELinux security policies. NSS (2011)

Peter Amthor.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Peter Amthor