 | 2009 |
|---|
| 17 |       | Andreas Fuchs,
Sigrid Gürgens,
Carsten Rudolph:
On the Security Validation of Integrated Security Solutions.
SEC 2009: 190-201 |
| 2007 |
|---|
| 16 | | 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 |
| 15 | | 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 |
|---|
| 14 | | Sigrid Gürgens,
Peter Ochsenschläger,
Carsten Rudolph:
Abstractions Preserving Parameter Confidentiality.
ESORICS 2005: 418-437 |
| 13 | | Sigrid Gürgens,
Peter Ochsenschläger,
Carsten Rudolph:
On a formal framework for security properties.
Computer Standards & Interfaces 27(5): 457-466 (2005) |
| 12 | | Sigrid Gürgens,
Carsten Rudolph:
Security analysis of efficient (Un-)fair non-repudiation protocols.
Formal Asp. Comput. 17(3): 260-276 (2005) |
| 11 | | 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 | | Sigrid Gürgens,
Carsten Rudolph,
Holger Vogt:
On the Security of Fair Non-repudiation Protocols.
ISC 2003: 193-207 |
| 8 | | 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 | | 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 | | Sigrid Gürgens,
Carsten Rudolph:
Security Analysis of (Un-) Fair Non-repudiation Protocols.
FASec 2002: 97-114 |
| 5 | | Sigrid Gürgens,
Peter Ochsenschläger,
Carsten Rudolph:
Authenticity and Provability - A Formal Framework.
InfraSec 2002: 227-245 |
| 2001 |
|---|
| 4 | | 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 | | 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 |
