Get started
Author

Sigrid Gürgens

Observed names: S. Gurgens, S. Gürgens, Sigrid Gurgens
ORCID: 0000-0003-0708-991X
Observed ORCID: 0000-0003-0708-991X
OpenAlex ID: A5002725924
Security Evaluation of Scenarios Based on the TCG’s TPM Specification
2007 · Sigrid Gürgens, Carsten Rudolph, et al. · Lecture notes in computer science · 51
Security Analysis of (Un-) Fair Non-repudiation Protocols
2003 · Sigrid Gürgens, Carsten Rudolph · Lecture notes in computer science · 38
On the Security of Fair Non-repudiation Protocols
2003 · Sigrid Gürgens, Carsten Rudolph, et al. · Lecture notes in computer science · 38
On a formal framework for security properties
2005 · Sigrid Gürgens, Peter Ochsenschläger, et al. · Computer Standards & Interfaces · 37
On the security of fair non-repudiation protocols
2005 · Sigrid Gürgens, Carsten Rudolph, et al. · International Journal of Information Security · 37
Security patterns modeling and formalization for pattern-based development of secure software systems
2015 · B. Hamid, S. Gürgens, et al. · Innovations in Systems and Software Engineering · 28
Role based specification and security analysis of cryptographic protocols using asynchronous product automata
2002 · S. Gurgens, P. Ochsenschlager, et al. · International Workshop on Database and Expert Systems Applications (DEXA) · 21
A Formal Notion of Trust – Enabling Reasoning about Security Properties
2010 · Andreas Fuchs, Sigrid Gürgens, et al. · IFIP International Federation for Information Processing/IFIP · 20
Authenticity and Provability — A Formal Framework
2002 · Sigrid Gürgens, Peter Ochsenschläger, et al. · Lecture notes in computer science · 20
Extensions to pattern formats for cyber physical systems
2014 · Antonio Maña, Ernesto Damiani, et al. · 15
Enforcing S&D Pattern Design in RCES with Modeling and Formal Approaches
2011 · Brahim Hamid, Sigrid Gürgens, et al. · Lecture notes in computer science · 14
Discovering Secure Service Compositions
2014 · Luca Pino, George Spanoudakis, et al. · International Conference on Cloud Computing and Services Science · 13
Security engineering for embedded systems
2010 · Sigrid Gürgens, Carsten Rudolph, et al. · 13
Abstractions Preserving Parameter Confidentiality
2005 · Sigrid Gürgens, Peter Ochsenschläger, et al. · Lecture notes in computer science · 13
Security analysis of efficient (Un-) fair non-repudiation protocols
2005 · S. Gürgens, C. Rudolph · Formal Aspects of Computing · 12
PDF
Formal Notions of Trust and Confidentiality- Enabling Reasoning about System Security
2011 · Andreas Fuchs, Sigrid Gürgens, et al. · Journal of Information Processing · 10
PDF
A Hardware Based Solution for Freshness of Secure Onboard Communication in Vehicles
2019 · Sigrid Gürgens, Daniel Zelle · Lecture notes in computer science · 9
ASSERT4SOA: Toward Security Certification of Service-Oriented Applications
2010 · Marco Anisetti, Claudio A. Ardagna, et al. · Lecture notes in computer science · 9
Towards a Generic Process for Security Pattern Integration
2009 · Andreas Fuchs, Sigrid Gurgens, et al. · International Workshop on Database and Expert Systems Applications (DEXA) · 9
SECURA: Unified Reference Architecture for Advanced Security and Trust in Safety Critical Infrastructures
2024 · Michael Eckel, Sigrid Gürgens · International Conference on Availability, Reliability and Security (ARES) · 6
On the Security Validation of Integrated Security Solutions
2009 · Andreas Fuchs, Sigrid Gürgens, et al. · IFIP advances in information and communication technology · 5
PDF
Validation of Cryptographic Protocols by Efficient Automated Testing
2000 · Sigrid Gürgens, René Peralta · 5
SG logic — a formal analysis technique for authentication protocols
1998 · Sigrid Gürgens · Lecture notes in computer science · 5
Preserving Confidentiality in Component Compositions
2013 · Andreas Fuchs, Sigrid Gürgens · Lecture notes in computer science · 4
Facilitating the Use of TPM Technologies through S&D Patterns
2007 · Sigrid Gurgens, Carsten Rud, et al. · International Workshop on Database and Expert Systems Applications (DEXA) · 4
Works count: 43
Citation count: 456
H-index: 13
I10-index: 16
Year
Topic
Type