Karsten Sohr - RankMe

65 papers A 2B 4C 14Misc 6Journal 14Unranked 24

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