Sigrid Gürgens

Publication Activity (10 Years)

Years Active: 1997-2024
Publications (10 Years): 3

Top Topics

Automatically Discovering

Security Patterns

Critical Infrastructure

Service Compositions

Top Venues

Innov. Syst. Softw. Eng.

CLOSER (Selected Papers)

Publications

Michael Eckel, Sigrid Gürgens
SECURA: Unified Reference Architecture for Advanced Security and Trust in Safety Critical Infrastructures. ARES (2024)
Sigrid Gürgens, Daniel Zelle
A Hardware Based Solution for Freshness of Secure Onboard Communication in Vehicles. CyberICPS/SECPRE@ESORICS (2018)
Brahim Hamid, Sigrid Gürgens, Andreas Fuchs
Security patterns modeling and formalization for pattern-based development of secure software systems. Innov. Syst. Softw. Eng. 12 (2) (2016)
Luca Pino, George Spanoudakis, Andreas Fuchs, Sigrid Gürgens
Generating Secure Service Compositions. CLOSER (Selected Papers) (2014)
Luca Pino, George Spanoudakis, Andreas Fuchs, Sigrid Gürgens
Discovering Secure Service Compositions. CLOSER (2014)
Andreas Fuchs, Sigrid Gürgens
Preserving Confidentiality in Component Compositions. SC@STAF (2013)
Andreas Fuchs, Sigrid Gürgens, Carsten Rudolph
Formal Notions of Trust and Confidentiality- Enabling Reasoning about System Security. Inf. Media Technol. 6 (3) (2011)
Andreas Fuchs, Sigrid Gürgens, Carsten Rudolph
Formal Notions of Trust and Confidentiality- Enabling Reasoning about System Security. J. Inf. Process. 19 (2011)
Brahim Hamid, Sigrid Gürgens, Christophe Jouvray, Nicolas Desnos
Enforcing S&D Pattern Design in RCES with Modeling and Formal Approaches. MoDELS (2011)
Ernesto Damiani, Sigrid Gürgens, Antonio Maña, George Spanoudakis, Claudio Agostino Ardagna
Editorial. J. Syst. Archit. 57 (3) (2011)
Marco Anisetti, Claudio Agostino Ardagna, Franco Guida, Sigrid Gürgens, Volkmar Lotz, Antonio Maña, Claudia Pandolfo, Jean-Christophe R. Pazzaglia, Gimena Pujol, George Spanoudakis
ASSERT4SOA: Toward Security Certification of Service-Oriented Applications. OTM Workshops (2010)
Jean-Christophe R. Pazzaglia, Volkmar Lotz, V. Campos Cerda, Ernesto Damiani, Claudio Agostino Ardagna, Sigrid Gürgens, Antonio Maña, Claudia Pandolfo, George Spanoudakis, Franco Guida, Renato Menicocci
Advanced Security Service cERTificate for SOA: Certified Services go Digital. ISSE (2010)
Andreas Fuchs, Sigrid Gürgens, Carsten Rudolph
A Formal Notion of Trust - Enabling Reasoning about Security Properties. IFIPTM (2010)
Andreas Fuchs, Sigrid Gürgens, Carsten Rudolph
On the Security Validation of Integrated Security Solutions. SEC (2009)
Andreas Fuchs, Sigrid Gürgens, Carsten Rudolph
Towards a Generic Process for Security Pattern Integration. DEXA Workshops (2009)
Sigrid Gürgens, Carsten Rudolph, Antonio Maña, Antonio Muñoz
Facilitating the Use of TPM Technologies through S&D Patterns. DEXA Workshops (2007)
Sigrid Gürgens, Carsten Rudolph, Dirk Scheuermann, Marion Atts, Rainer Plaga
Security Evaluation of Scenarios Based on the TCG's TPM Specification. ESORICS (2007)
Sigrid Gürgens, Carsten Rudolph
Security analysis of efficient (Un-)fair non-repudiation protocols. Formal Aspects Comput. 17 (3) (2005)
Sigrid Gürgens, Carsten Rudolph, Holger Vogt
On the security of fair non-repudiation protocols. Int. J. Inf. Sec. 4 (4) (2005)
Sigrid Gürgens, Peter Ochsenschläger, Carsten Rudolph
On a formal framework for security properties. Comput. Stand. Interfaces 27 (5) (2005)
Sigrid Gürgens, Peter Ochsenschläger, Carsten Rudolph
Abstractions Preserving Parameter Confidentiality. ESORICS (2005)
Sigrid Gürgens, Javier López, René Peralta
Analysis of e-commerce protocols: Adapting a traditional technique. Int. J. Inf. Sec. 2 (1) (2003)
Sigrid Gürgens, Carsten Rudolph, Holger Vogt
On the Security of Fair Non-repudiation Protocols. ISC (2003)
Sigrid Gürgens, Peter Ochsenschläger, Carsten Rudolph
Parameter-Confidentiality. GI Jahrestagung (Schwerpunkt "Sicherheit - Schutz und Zuverlässigkeit") (2003)
Sigrid Gürgens, Peter Ochsenschläger, Carsten Rudolph
Role Based Specification and Security Analysis of Cryptographic Protocols Using Asynchronous Product Automata. DEXA Workshops (2002)
Sigrid Gürgens, Peter Ochsenschläger, Carsten Rudolph
Authenticity and Provability - A Formal Framework. InfraSec (2002)
Sigrid Gürgens, Carsten Rudolph
Security Analysis of (Un-) Fair Non-repudiation Protocols. FASec (2002)
Sigrid Gürgens, Javier López
Suitability of a Classical Analysis Method for E-commerce Protocols. ISC (2001)
Sigrid Gürgens, René Peralta
Validation of Cryptographic Protocols by Efficient Automated Testing. FLAIRS Conference (2000)
Sigrid Gürgens, Javier López, René Peralta
Efficient Detection of Failure Modes in Electronic Commerce Protocols. DEXA Workshop (1999)
Sigrid Gürgens
SG Logic- A Formal Analysis Technique for Authentication Protocols. Security Protocols Workshop (1997)