SG Logic- A Formal Analysis Technique for Authentication Protocols. - Sigrid Gürgens (Security Protocols Workshop, 1997)

Efficient Detection of Failure Modes in Electronic Commerce Protocols. - Sigrid Gürgens; Javier López 001; René Peralta 001 (DEXA Workshop, 1999)

Validation of Cryptographic Protocols by Efficient Automated Testing. - Sigrid Gürgens; René Peralta 001 (FLAIRS, 2000)

Suitability of a Classical Analysis Method for E-commerce Protocols. - Sigrid Gürgens; Javier López 001 (ISC, 2001)

Role Based Specification and Security Analysis of Cryptographic Protocols Using Asynchronous Product Automata. - Sigrid Gürgens; Peter Ochsenschläger; Carsten Rudolph (DEXA Workshops, 2002)

Security Analysis of (Un-) Fair Non-repudiation Protocols. - Sigrid Gürgens; Carsten Rudolph (FASec, 2002)

Authenticity and Provability - A Formal Framework. - Sigrid Gürgens; Peter Ochsenschläger; Carsten Rudolph (InfraSec, 2002)

Parameter-Confidentiality. - Sigrid Gürgens; Peter Ochsenschläger; Carsten Rudolph (GI Jahrestagung (Schwerpunkt "Sicherheit - Schutz und Zuverlässigkeit"), 2003)

Analysis of e-commerce protocols: Adapting a traditional technique. - Sigrid Gürgens; Javier López 001; René Peralta 001 (Int. J. Inf. Sec., 2003)

Abstractions Preserving Parameter Confidentiality. - Sigrid Gürgens; Peter Ochsenschläger; Carsten Rudolph (ESORICS, 2005)

On a formal framework for security properties. - Sigrid Gürgens; Peter Ochsenschläger; Carsten Rudolph (Comput. Stand. Interfaces, 2005)

Security analysis of efficient (Un-)fair non-repudiation protocols. - Sigrid Gürgens; Carsten Rudolph (Formal Aspects Comput., 2005)

On the security of fair non-repudiation protocols. - Sigrid Gürgens; Carsten Rudolph; Holger Vogt (Int. J. Inf. Sec., 2005)

Facilitating the Use of TPM Technologies through S&D Patterns. - Sigrid Gürgens; Carsten Rudolph; Antonio Maña; Antonio Muñoz 001 (DEXA Workshops, 2007)

Security Evaluation of Scenarios Based on the TCG's TPM Specification. - Sigrid Gürgens; Carsten Rudolph; Dirk Scheuermann; Marion Atts; Rainer Plaga (ESORICS, 2007)

Towards a Generic Process for Security Pattern Integration. - Andreas Fuchs 002; Sigrid Gürgens; Carsten Rudolph (DEXA Workshops, 2009)

On the Security Validation of Integrated Security Solutions. - Andreas Fuchs 002; Sigrid Gürgens; Carsten Rudolph (SEC, 2009)

Security and Dependability Solutions for Networks and Devices. - Sigrid Gürgens; Andreas Fuchs 002 (Security and Dependability for Ambient Intelligence, 2009)

Specification of Security and Dependability Properties. - Sigrid Gürgens; Gimena Pujol (Security and Dependability for Ambient Intelligence, 2009)

A Formal Notion of Trust - Enabling Reasoning about Security Properties. - Andreas Fuchs 002; Sigrid Gürgens; Carsten Rudolph (IFIPTM, 2010)

Advanced Security Service cERTificate for SOA: Certified Services go Digital. - Jean-Christophe R. Pazzaglia; Volkmar Lotz; V. Campos Cerda; Ernesto Damiani; Claudio A. Ardagna; Sigrid Gürgens; Antonio Maña; Claudia Pandolfo; George Spanoudakis; Franco Guida; Renato Menicocci (ISSE, 2010)

ASSERT4SOA: Toward Security Certification of Service-Oriented Applications. - Marco Anisetti; Claudio A. Ardagna; Franco Guida; Sigrid Gürgens; Volkmar Lotz; Antonio Maña; Claudia Pandolfo; Jean-Christophe R. Pazzaglia; Gimena Pujol; George Spanoudakis (OTM Workshops, 2010)

Enforcing S&D Pattern Design in RCES with Modeling and Formal Approaches. - Brahim Hamid; Sigrid Gürgens; Christophe Jouvray; Nicolas Desnos (MoDELS, 2011)

Formal Notions of Trust and Confidentiality- Enabling Reasoning about System Security. - Andreas Fuchs 002; Sigrid Gürgens; Carsten Rudolph (J. Inf. Process., 2011)

Editorial. - Ernesto Damiani; Sigrid Gürgens; Antonio Maña; George Spanoudakis; Claudio A. Ardagna (J. Syst. Archit., 2011)

Preserving Confidentiality in Component Compositions. - Andreas Fuchs 002; Sigrid Gürgens (SC@STAF, 2013)

Discovering Secure Service Compositions. - Luca Pino; George Spanoudakis; Andreas Fuchs 002; Sigrid Gürgens (CLOSER, 2014)

Generating Secure Service Compositions. - Luca Pino; George Spanoudakis; Andreas Fuchs 002; Sigrid Gürgens (CLOSER (Selected Papers), 2014)

Security patterns modeling and formalization for pattern-based development of secure software systems. - Brahim Hamid; Sigrid Gürgens; Andreas Fuchs 002 (Innov. Syst. Softw. Eng., 2016)

A Hardware Based Solution for Freshness of Secure Onboard Communication in Vehicles. - Sigrid Gürgens; Daniel Zelle (CyberICPS/SECPRE@ESORICS, 2018)

SECURA: Unified Reference Architecture for Advanced Security and Trust in Safety Critical Infrastructures. - Michael Eckel; Sigrid Gürgens (ARES, 2024)