| 2007 |
|---|
| 14 | 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 |
| 13 | 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 |
| 12 | EE | Carsten Rudolph:
Covert Identity Information in Direct Anonymous Attestation (DAA).
SEC 2007: 443-448 |
| 2005 |
|---|
| 11 | EE | Carsten Rudolph,
Antonio Mana:
Specification and automated processing of security requirements (SAPS'05).
ASE 2005: 460 |
| 10 | EE | Sigrid Gürgens,
Peter Ochsenschläger,
Carsten Rudolph:
Abstractions Preserving Parameter Confidentiality.
ESORICS 2005: 418-437 |
| 9 | EE | Sigrid Gürgens,
Carsten Rudolph:
Security analysis of efficient (Un-)fair non-repudiation protocols.
Formal Asp. Comput. 17(3): 260-276 (2005) |
| 8 | 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 |
|---|
| 7 | EE | Antonio Mana,
José A. Montenegro,
Carsten Rudolph,
José Luis Vivas:
A business process-driven approach to security engineering.
DEXA Workshops 2003: 477-481 |
| 6 | | Sigrid Gürgens,
Peter Ochsenschläger,
Carsten Rudolph:
Parameter-Confidentiality.
GI Jahrestagung (Schwerpunkt "Sicherheit - Schutz und Zuverlässigkeit") 2003: 383-394 |
| 5 | EE | Sigrid Gürgens,
Carsten Rudolph,
Holger Vogt:
On the Security of Fair Non-repudiation Protocols.
ISC 2003: 193-207 |
| 2002 |
|---|
| 4 | 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 |
| 3 | EE | Sigrid Gürgens,
Carsten Rudolph:
Security Analysis of (Un-) Fair Non-repudiation Protocols.
FASec 2002: 97-114 |
| 2 | EE | Sigrid Gürgens,
Peter Ochsenschläger,
Carsten Rudolph:
Authenticity and Provability - A Formal Framework.
InfraSec 2002: 227-245 |
| 1998 |
|---|
| 1 | EE | Carsten Rudolph:
A Formal Model for Systematic Design of Key Establishment Protocols.
ACISP 1998: 332-343 |
