Karsten Sohr

ORCID

Publication Activity (10 Years)

Years Active: 1999-2024
Publications (10 Years): 23

Top Venues

University of Marburg, Germany (PHD)

Education History

University of Marburg, Germany

PHD

Publications

Carlos E. Rubio-Medrano, Akash Kotak, Wenlu Wang, Karsten Sohr
Pairing Human and Artificial Intelligence: Enforcing Access Control Policies with LLMs and Formal Specifications. SACMAT (2024)
Denis Obrezkov, Karsten Sohr
UCAT: The Uniform Categorization for Access Control. FPS (2) (2023)
Lorenz Hüther, Karsten Sohr, Bernhard J. Berger, Hendrik Rothe, Stefan Edelkamp
Machine Learning for SAST: A Lightweight and Adaptable Approach. ESORICS (4) (2023)
Mehrdad Bahrini, Thomas Münder, Karsten Sohr, Rainer Malaka
Verständliche Informationssicherheit in Smarthome-Netzen. Datenschutz und Datensicherheit (dud) 47 (6) (2023)
Mehrdad Bahrini, Nima Zargham, Alexander Wolff, Dennis-Kenji Kipker, Karsten Sohr, Rainer Malaka
It's Long and Complicated! Enhancing One-Pager Privacy Policies in Smart Home Applications. NordiCHI (2022)
Denis Obrezkov, Karsten Sohr, Rainer Malaka
"Do Metaphors Influence the Usability of Access Control?": A Gamified Survey. MuC (2022)
Henrik Reichmann, Malte Elson, Nele Borgert, Dennis-Kenji Kipker, Rainer Malaka, Karsten Sohr, Mehrdad Bahrini
Erfahrbarer Datenschutz und IT-Sicherheit in Smart Home-Anwendungen. Datenschutz und Datensicherheit 45 (4) (2021)
Rodrigue Wete Nguempnang, Bernhard J. Berger, Karsten Sohr
[Engineering] eNYPD - Entry Points Detector Jakarta Server Faces Use Case. SCAM (2021)
Denis Obrezkov, Karsten Sohr, Rainer Malaka
A Category-Based Framework for Privacy-Aware Collaborative Access Control. TrustBus (2021)
Christian Maeder, Karsten Sohr, Rodrigue Wete Nguempnang, Nils Meyer-Larsen, Rainer Müller
Modeling and Validating Role-Based Authorization Policies for a Port Communication System with UML and OCL. J. Object Technol. 19 (3) (2020)
Bernhard J. Berger, Rodrigue Wete Nguempnang, Karsten Sohr, Rainer Koschke
Static Extraction of Enforced Authorization Policies SeeAuthz. SCAM (2020)
Marcel Schuster, Markus Germeier, Frank Hilken, Martin Gogolla, Karsten Sohr
Modeling Low-Level Network Configurations for Analysis, Simulation and Testing. Modellierung (2020)
Mehmet Kus, Karsten Sohr
Praktische Erfahrungen und Ansätze für âSecurity by Design' auf Basis der STRIDE-Methodik. Datenschutz und Datensicherheit 44 (11) (2020)
Mehrdad Bahrini, Nima Zargham, Johannes Pfau, Stella Lemke, Karsten Sohr, Rainer Malaka
Good vs. Evil: Investigating the Effect of Game Premise in a Smart Home Security Educational Game. CHI PLAY (Companion) (2020)
Michaela Bunke, Karsten Sohr
Towards supporting software assurance assessments by detecting security patterns. Softw. Qual. J. 28 (4) (2020)
Mehrdad Bahrini, Nima Zargham, Johannes Pfau, Stella Lemke, Karsten Sohr, Rainer Malaka
Enhancing Game-Based Learning Through Infographics in the Context of Smart Home Security. ICEC (2020)
Mehrdad Bahrini, Nina Wenig, Marcel Meissner, Karsten Sohr, Rainer Malaka
HappyPermi: Presenting Critical Data Flows in Mobile Application to Raise User Security Awareness. CHI Extended Abstracts (2019)
Bernhard J. Berger, Karsten Sohr, Rainer Koschke
The Architectural Security Tool Suite - ARCHSEC. SCAM (2019)
Mehrdad Bahrini, Georg Volkmar, Jonas Schmutte, Nina Wenig, Karsten Sohr, Rainer Malaka
Make my Phone Secure!: Using Gamification for Mobile Security Settings. Mensch & Computer (2019)
Nima Zargham, Mehrdad Bahrini, Georg Volkmar, Dirk Wenig, Karsten Sohr, Rainer Malaka
What Could Go Wrong?: Raising Mobile Privacy and Security Awareness Through a Decision-Making Game. CHI PLAY (Companion) (2019)
Bernhard J. Berger, Christian Maeder, Rodrigue Wete Nguempnang, Karsten Sohr, Carlos E. Rubio-Medrano
Towards Effective Verification of Multi-Model Access Control Properties. SACMAT (2019)
Bernhard J. Berger, Karsten Sohr, Rainer Koschke
Automatically Extracting Threats from Extended Data Flow Diagrams. ESSoS (2016)
Frank Hilken, Marcel Schuster, Karsten Sohr, Martin Gogolla
Integrating UML/OCL Derived Properties into Validation and Verification Processes. OCL@MoDELS (2016)
Lars Hamann, Karsten Sohr, Martin Gogolla
Monitoring Database Access Constraints with an RBAC Metamodel: A Feasibility Study. ESSoS (2015)
Tanveer Mustafa, Karsten Sohr
Understanding the implemented access control policy of Android system services with slicing and extended static checking. Int. J. Inf. Sec. 14 (4) (2015)
Carlos E. Rubio-Medrano, Gail-Joon Ahn, Karsten Sohr
Achieving Security Assurance with Assertion-based Application Construction. EAI Endorsed Trans. Collab. Comput. 1 (6) (2015)
Steffen Bartsch, Bernhard J. Berger, Eric Bodden, Achim D. Brucker, Jens Heider, Mehmet Kus, Sönke Maseberg, Karsten Sohr, Melanie Volkamer
Zertifizierte Datensicherheit für Android-Anwendungen auf Basis statischer Programmanalysen. Sicherheit (2014)
Carlos E. Rubio-Medrano, Gail-Joon Ahn, Karsten Sohr
Achieving security assurance with assertion-based application construction. CollaborateCom (2014)
Oliver Hofrichter, Martin Gogolla, Karsten Sohr
UML/OCL based Design and Analysis of Role-Based Access Control Policies. GEMOC+AMINO@MoDELS (2013)
Bernhard J. Berger, Karsten Sohr, Rainer Koschke
Extracting and Analyzing the Implemented Security Architecture of Business Applications. CSMR (2013)
Steffen Bartsch, Bernhard J. Berger, Michaela Bunke, Karsten Sohr
The Transitivity-of-Trust Problem in Android Application Interaction. ARES (2013)
Mirco Kuhlmann, Karsten Sohr, Martin Gogolla
Employing UML and OCL for designing and analysing role-based access control. Math. Struct. Comput. Sci. 23 (4) (2013)
Carlos E. Rubio-Medrano, Gail-Joon Ahn, Karsten Sohr
Verifying Access Control Properties with Design by Contract: Framework and Lessons Learned. COMPSAC (2013)
Henk Birkholz, Ingo Sieverdingbeck, Karsten Sohr, Carsten Bormann
IO: An Interconnected Asset Ontology in Support of Risk Management Processes. ARES (2012)
Steffen Bartsch, Karsten Sohr, Michaela Bunke, Oliver Hofrichter, Bernhard J. Berger
The Transitivity of Trust Problem in the Interaction of Android Applications CoRR (2012)
Karsten Sohr, Mirco Kuhlmann, Martin Gogolla, Hongxin Hu, Gail-Joon Ahn
Comprehensive two-level analysis of role-based delegation and revocation policies with UML and OCL. Inf. Softw. Technol. 54 (12) (2012)
Bernhard J. Berger, Karsten Sohr
An Approach to Detecting Inter-Session Data Flow Induced by Object Pooling. SEC (2012)
Henk Birkholz, Carsten Elfers, Bernd Samjeske, Karsten Sohr
Unternehmensübergreifender Austausch von sicherheitsrelevantem Wissen. Datenschutz und Datensicherheit 35 (4) (2011)
Bernhard J. Berger, Michaela Bunke, Karsten Sohr
An Android Security Case Study with Bauhaus. WCRE (2011)
Karsten Sohr, Tanveer Mustafa, Adrian Nowak
Software security aspects of Java-based mobile phones. SAC (2011)
Mirco Kuhlmann, Karsten Sohr, Martin Gogolla
Comprehensive Two-Level Analysis of Static and Dynamic RBAC Constraints with UML and OCL. SSIRI (2011)
Michaela Bunke, Karsten Sohr
An Architecture-Centric Approach to Detecting Security Patterns in Software. ESSoS (2011)
Karsten Sohr, Bernhard J. Berger
Idea: Towards Architecture-Centric Security Analysis of Software. ESSoS (2010)
Nicolai Kuntze, Roland Rieke, Günther Diederich, Richard Sethmann, Karsten Sohr, Tanveer Mustafa, Kai-Oliver Detken
Secure Mobile Business Information Processing. EUC (2010)
Tanveer Mustafa, Michael Drouineaud, Karsten Sohr
Towards formal specification and verification of a role-based authorization engine using JML. SESS@ICSE (2010)
Carsten Elfers, Mirko Horstmann, Karsten Sohr, Otthein Herzog
Typed Linear Chain Conditional Random Fields and Their Application to Intrusion Detection. IDEAL (2010)
Raffael Rittmeier, Karsten Sohr
Grundzüge eines Sicherheitskonzeptes für Arztpraxen mit Hilfe von Attack Trees und unter Berücksichtigung der Gesundheitstelematik. perspeGKtive (2010)
Karsten Sohr, Michael Drouineaud, Gail-Joon Ahn, Martin Gogolla
Analyzing and Managing Role-Based Access Control Policies. IEEE Trans. Knowl. Data Eng. 20 (7) (2008)
Karsten Sohr, Tanveer Mustafa, Xinyu Bao, Gail-Joon Ahn
Enforcing Role-Based Access Control Policies in Web Services with UML and OCL. ACSAC (2008)
Tanveer Mustafa, Karsten Sohr, Duc-Hanh Dang, Michael Drouineaud, Stefan Kowski
Implementing Advanced RBAC Administration Functionality with USE. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 15 (2008)
Steffen Bartsch, Karsten Sohr, Carsten Bormann
Supporting Agile Development of Authorization Rules for SME Applications. CollaborateCom (2008)
Mehmet Kus, Michael Lawo, Marc Ronthaler, Richard Sethmann, Karsten Sohr, Katja Wind
Angepasste Benutzerschnittstellen für das Wearable Computing im Projekt SiWear. Mensch & Computer Workshopband (2007)
Andreas Schaad, Volkmar Lotz, Karsten Sohr
A model-checking approach to analysing organisational controls in a loan origination process. SACMAT (2006)
Karsten Sohr, Gail-Joon Ahn, Martin Gogolla, Lars Migge
Specification and Validation of Authorisation Constraints Using UML and OCL. ESORICS (2005)
Karsten Sohr, Gail-Joon Ahn, Lars Migge
Articulating and enforcing authorisation policies with UML and OCL. SESS@ICSE (2005)
Karsten Sohr, Michael Drouineaud, Gail-Joon Ahn
Formal specification of role-based security policies for clinical information systems. SAC (2005)
Karsten Sohr, Gail-Joon Ahn, Lars Migge
Articulating and enforcing authorisation policies with UML and OCL. ACM SIGSOFT Softw. Eng. Notes 30 (4) (2005)
Michael Drouineaud, Maksym Bortin, Paolo Torrini, Karsten Sohr
A First Step Towards Formal Verification of Security Policy Properties for RBAC. QSIC (2004)
Till Mossakowski, Michael Drouineaud, Karsten Sohr
A temporal-logic extension of role-based access control covering dynamic separation of duties. TIME (2003)
Steffen Deter, Karsten Sohr
Pini - A Jini-Like Plug&Play Technology for the KVM/CLDC. IICS (2001)
Karsten Sohr
Nicht verifizierter Code: Eine neue Sicherheitslücke in Java. Java-Informations-Tage (1999)

Karsten Sohr.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Karsten Sohr