| 2007 |
|---|
| 15 | EE | Sigrid Gürgens,
Carsten Rudolph,
Antonio Maña,
Antonio Muñoz:
Facilitating the Use of TPM Technologies through S&D Patterns.
DEXA Workshops 2007: 765-769 |
| 14 | EE | Sigrid Gürgens,
Carsten Rudolph,
Dirk Scheuermann,
Marion Atts,
Rainer Plaga:
Security Evaluation of Scenarios Based on the TCG's TPM Specification.
ESORICS 2007: 438-453 |
| 2005 |
|---|
| 13 | EE | Sigrid Gürgens,
Peter Ochsenschläger,
Carsten Rudolph:
Abstractions Preserving Parameter Confidentiality.
ESORICS 2005: 418-437 |
| 12 | EE | Sigrid Gürgens,
Carsten Rudolph:
Security analysis of efficient (Un-)fair non-repudiation protocols.
Formal Asp. Comput. 17(3): 260-276 (2005) |
| 11 | EE | Sigrid Gürgens,
Carsten Rudolph,
Holger Vogt:
On the security of fair non-repudiation protocols.
Int. J. Inf. Sec. 4(4): 253-262 (2005) |
| 2003 |
|---|
| 10 | | Sigrid Gürgens,
Peter Ochsenschläger,
Carsten Rudolph:
Parameter-Confidentiality.
GI Jahrestagung (Schwerpunkt "Sicherheit - Schutz und Zuverlässigkeit") 2003: 383-394 |
| 9 | EE | Sigrid Gürgens,
Carsten Rudolph,
Holger Vogt:
On the Security of Fair Non-repudiation Protocols.
ISC 2003: 193-207 |
| 8 | EE | Sigrid Gürgens,
Javier Lopez,
René Peralta:
Analysis of e-commerce protocols: Adapting a traditional technique.
Int. J. Inf. Sec. 2(1): 21-36 (2003) |
| 2002 |
|---|
| 7 | EE | Sigrid Gürgens,
Peter Ochsenschläger,
Carsten Rudolph:
Role Based Specification and Security Analysis of Cryptographic Protocols Using Asynchronous Product Automata.
DEXA Workshops 2002: 473-482 |
| 6 | EE | Sigrid Gürgens,
Carsten Rudolph:
Security Analysis of (Un-) Fair Non-repudiation Protocols.
FASec 2002: 97-114 |
| 5 | EE | Sigrid Gürgens,
Peter Ochsenschläger,
Carsten Rudolph:
Authenticity and Provability - A Formal Framework.
InfraSec 2002: 227-245 |
| 2001 |
|---|
| 4 | EE | Sigrid Gürgens,
Javier Lopez:
Suitability of a Classical Analysis Method for E-commerce Protocols.
ISC 2001: 46-62 |
| 2000 |
|---|
| 3 | | Sigrid Gürgens,
René Peralta:
Validation of Cryptographic Protocols by Efficient Automated Testing.
FLAIRS Conference 2000: 7-12 |
| 1999 |
|---|
| 2 | EE | Sigrid Gürgens,
Javier Lopez,
René Peralta:
Efficient Detection of Failure Modes in Electronic Commerce Protocols.
DEXA Workshop 1999: 850-857 |
| 1997 |
|---|
| 1 | | Sigrid Gürgens:
SG Logic- A Formal Analysis Technique for Authentication Protocols.
Security Protocols Workshop 1997: 159-176 |
