 | 2009 |
|---|
| 19 |       | Nicolai Kuntze,
Andreas Fuchs,
Carsten Rudolph:
Reliable Identities Using Off-the-Shelf Hardware Security in MANETs.
CSE (2) 2009: 781-786 |
| 18 | | Andreas Fuchs,
Sigrid Gürgens,
Carsten Rudolph:
On the Security Validation of Integrated Security Solutions.
SEC 2009: 190-201 |
| 17 | | Carsten Rudolph,
Nicolai Kuntze,
Zaharina Velikova:
Secure Web Service Workflow Execution.
Electr. Notes Theor. Comput. Sci. 236: 33-46 (2009) |
| 2008 |
|---|
| 16 | | Nicolai Kuntze,
Andreas U. Schmidt,
Zaharina Velikova,
Carsten Rudolph:
Trust in Business Processes.
ICYCS 2008: 1992-1997 |
| 2007 |
|---|
| 15 | | 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 | | 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 |
| 13 | | Carsten Rudolph:
Covert Identity Information in Direct Anonymous Attestation (DAA).
SEC 2007: 443-448 |
| 2005 |
|---|
| 12 | | Carsten Rudolph,
Antonio Mana:
Specification and automated processing of security requirements (SAPS'05).
ASE 2005: 460 |
| 11 | | Sigrid Gürgens,
Peter Ochsenschläger,
Carsten Rudolph:
Abstractions Preserving Parameter Confidentiality.
ESORICS 2005: 418-437 |
| 10 | | Sigrid Gürgens,
Peter Ochsenschläger,
Carsten Rudolph:
On a formal framework for security properties.
Computer Standards & Interfaces 27(5): 457-466 (2005) |
| 9 | | Sigrid Gürgens,
Carsten Rudolph:
Security analysis of efficient (Un-)fair non-repudiation protocols.
Formal Asp. Comput. 17(3): 260-276 (2005) |
| 8 | | 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 | | 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 | | Sigrid Gürgens,
Carsten Rudolph,
Holger Vogt:
On the Security of Fair Non-repudiation Protocols.
ISC 2003: 193-207 |
| 2002 |
|---|
| 4 | | 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 | | Sigrid Gürgens,
Carsten Rudolph:
Security Analysis of (Un-) Fair Non-repudiation Protocols.
FASec 2002: 97-114 |
| 2 | | Sigrid Gürgens,
Peter Ochsenschläger,
Carsten Rudolph:
Authenticity and Provability - A Formal Framework.
InfraSec 2002: 227-245 |
| 1998 |
|---|
| 1 | | Carsten Rudolph:
A Formal Model for Systematic Design of Key Establishment Protocols.
ACISP 1998: 332-343 |
