Peter Amthor

22 papers B 3C 6Journal 3Unranked 9
YearRankTypeTitle / Venue / Authors
2026 — conf
Bridging CPU and GPU Autoscaling for Cost-Efficient Inference Serving.
EuroMLSys@EuroSys
Mehran Salmani, Kamran Razavi, Peter Amthor, Boris Koldehofe
2025 J jnl
Pattern-Level Privacy Protection in Event-Based Systems.
SN Comput. Sci.
Majid Lotfian Delouee, Victoria Degeler, Peter Amthor, Martijn C. Schut, Boris Koldehofe
2024 C conf
A Composition Algebra for Decentralized Enforcement of Access Control Policies with an Application to Vehicular Networks.
SECRYPT
Peter Amthor, René Gorges
2024 C conf
APP-CEP: Adaptive Pattern-Level Privacy Protection in Complex Event Processing Systems.
ICISSP
Majid Lotfian Delouee, Victoria Degeler, Peter Amthor, Boris Koldehofe
2024 — conf
Multi-Stakeholder Policy Enforcement for Distributed Systems.
WOC@Middleware
Robert Walther, Carsten Weinhold, Peter Amthor, Michael Roitzsch
2023 — conf
Erfahrungen bei der Integration des Autograding-Systems CodeOcean in die universitäre Programmierausbildung.
ABP
Peter Amthor, Ulf Döring, Daniel Fischer, Jonas Genath, Gunther Kreuzberger
2021 — conf
Putting the Pieces Together: Model-Based Engineering Workflows for Attribute-Based Access Control Policies.
ICETE (Selected Papers)
Marius Schlegel, Peter Amthor
2021 C conf
The Missing Piece of the ABAC Puzzle: A Modeling Scheme for Dynamic Analysis.
SECRYPT
Marius Schlegel, Peter Amthor
2020 — conf
Beyond Administration: A Modeling Scheme Supporting the Dynamic Analysis of Role-based Access Control Policies.
ICETE (2)
Marius Schlegel, Peter Amthor
2020 — conf
Towards Language Support for Model-based Security Policy Engineering.
ICETE (2)
Peter Amthor, Marius Schlegel
2019 — —
Aspect-oriented security engineering: a model-based approach.
Peter Amthor
2019 B conf
Automated Cyber Threat Sensing and Responding: Integrating Threat Intelligence into Security-Policy-Controlled Systems.
ARES
Peter Amthor, Daniel Fischer, Winfried E. Kühnhauser, Dirk Stelzer
2019 — conf
Command Dependencies in Heuristic Safety Analysis of Access Control Models.
FPS
Peter Amthor, Martin Rabe
2019 — conf
Static Termination Analysis for Event-driven Distributed Algorithms.
DEBS
Felix Wiemuth, Peter Amthor, Winfried E. Kühnhauser
2017 C conf
Efficient Heuristic Safety Analysis of Core-based Security Policies.
SECRYPT
Peter Amthor
2017 J jnl
Towards a Uniform Framework for Dynamic Analysis of Access Control Models.
CoRR
Peter Amthor
2015 C conf
A Uniform Modeling Pattern for Operating Systems Access Control Policies with an Application to SELinux.
SECRYPT
Peter Amthor
2015 B conf
Security Policy Synthesis in Mobile Systems.
SERVICES
Peter Amthor, Winfried E. Kühnhauser
2015 — conf
The Entity Labeling Pattern for Modeling Operating Systems Access Control.
ICETE (Selected Papers)
Peter Amthor
2014 J jnl
WorSE: A Workbench for Model-based Security Engineering.
Comput. Secur.
Peter Amthor, Winfried E. Kühnhauser, Anja Pölck
2013 C conf
Heuristic safety analysis of access control models.
SACMAT
Peter Amthor, Winfried E. Kühnhauser, Anja Pölck
2011 B conf
Model-based safety analysis of SELinux security policies.
NSS
Peter Amthor, Winfried E. Kühnhauser, Anja Pölck