Sigrid Gürgens

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