- CSB - MetaPress - Google - Bing - Yahoo
 | 2012 | |
|---|---|---|
| c27 |      | Nicolai Kuntze, Carsten Rudolph, Aaron Alva, Barbara Endicott-Popovsky, John Christiansen, Thomas Kemmerich: On the Creation of Reliable Digital Evidence. IFIP Int. Conf. Digital Forensics 2012: 3-17 |
| c26 | | Nicolai Kuntze, Carsten Rudolph, Janne Paatero: Establishing Trust between Nodes in Mobile Ad-Hoc Networks. INTRUST 2012: 48-62 |
| c25 | | |
| c24 | | Michaela Huhn, Stefan Gerken, Carsten Rudolph: Zertifizierung und modellgetriebene Entwicklung sicherer Software (ZeMoSS 2012). Software Engineering 2012: 198-200 |
| 2011 | ||
| j6 | | Andreas Fuchs, Sigrid Gürgens, Carsten Rudolph: Formal Notions of Trust and Confidentiality- Enabling Reasoning about System Security. JIP 19: 274-291 (2011) |
| c23 | | Timo Winkelvos, Carsten Rudolph, Jürgen Repp: A Property Based Security Risk Analysis Through Weighted Simulation. ISSA 2011 |
| c22 | | |
| c21 | | |
| 2010 | ||
| j5 | | Stefan M. Goetz, Chiheb Dahmani, Carsten Rudolph, Thomas Weyh: First Theoretic Analysis of Magnetic Drug Targeting in the Lung. IEEE Trans. Biomed. Engineering 57(9): 2115-2121 (2010) |
| c20 | | |
| c19 | | Andreas Fuchs, Sigrid Gürgens, Carsten Rudolph: A Formal Notion of Trust - Enabling Reasoning about Security Properties. IFIPTM 2010: 200-215 |
| c18 | | |
| c17 | | Nicolai Kuntze, Carsten Rudolph, Andreas Fuchs: Trust in Peer-to-Peer Content Distribution Protocols. WISTP 2010: 76-89 |
| 2009 | ||
| j4 | | Carsten Rudolph, Nicolai Kuntze, Zaharina Velikova: Secure Web Service Workflow Execution. Electr. Notes Theor. Comput. Sci. 236: 33-46 (2009) |
| c16 | | Nicolai Kuntze, Andreas Fuchs, Carsten Rudolph: Reliable Identities Using Off-the-Shelf Hardware Security in MANETs. CSE (2) 2009: 781-786 |
| c15 | | Andreas Fuchs, Sigrid Gürgens, Carsten Rudolph: Towards a Generic Process for Security Pattern Integration. DEXA Workshops 2009: 171-175 |
| c14 | | Andreas Fuchs, Sigrid Gürgens, Carsten Rudolph: On the Security Validation of Integrated Security Solutions. SEC 2009: 190-201 |
| p1 | | Carsten Rudolph, Luca Compagna, Roberto Carbone, Antonio Muñoz, Jürgen Repp: Verification of S&D Solutions for Network Communications and Devices. Security and Dependability for Ambient Intelligence 2009: 143-163 |
| 2008 | ||
| c13 | | Nicolai Kuntze, Andreas U. Schmidt, Zaharina Velikova, Carsten Rudolph: Trust in Business Processes. ICYCS 2008: 1992-1997 |
| 2007 | ||
| c12 | | 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 |
| c11 | | 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 |
| c10 | | Carsten Rudolph: Covert Identity Information in Direct Anonymous Attestation (DAA). SEC 2007: 443-448 |
| 2005 | ||
| j3 | | Sigrid Gürgens, Peter Ochsenschläger, Carsten Rudolph: On a formal framework for security properties. Computer Standards & Interfaces 27(5): 457-466 (2005) |
| j2 | | Sigrid Gürgens, Carsten Rudolph: Security analysis of efficient (Un-)fair non-repudiation protocols. Formal Asp. Comput. 17(3): 260-276 (2005) |
| j1 | | Sigrid Gürgens, Carsten Rudolph, Holger Vogt: On the security of fair non-repudiation protocols. Int. J. Inf. Sec. 4(4): 253-262 (2005) |
| c9 | | Sigrid Gürgens, Peter Ochsenschläger, Carsten Rudolph: Abstractions Preserving Parameter Confidentiality. ESORICS 2005: 418-437 |
| c8 | | Carsten Rudolph, Antonio Mana: Specification and automated processing of security requirements (SAPS'05). ASE 2005: 460 |
| 2003 | ||
| c7 | | Antonio Mana, José A. Montenegro, Carsten Rudolph, José Luis Vivas: A business process-driven approach to security engineering. DEXA Workshops 2003: 477-481 |
| c6 | | Sigrid Gürgens, Peter Ochsenschläger, Carsten Rudolph: Parameter-Confidentiality. GI Jahrestagung (Schwerpunkt "Sicherheit - Schutz und Zuverlässigkeit") 2003: 383-394 |
| c5 | | Sigrid Gürgens, Carsten Rudolph, Holger Vogt: On the Security of Fair Non-repudiation Protocols. ISC 2003: 193-207 |
| 2002 | ||
| c4 | | 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 |
| c3 | | Sigrid Gürgens, Carsten Rudolph: Security Analysis of (Un-) Fair Non-repudiation Protocols. FASec 2002: 97-114 |
| c2 | | Sigrid Gürgens, Peter Ochsenschläger, Carsten Rudolph: Authenticity and Provability - A Formal Framework. InfraSec 2002: 227-245 |
| 1998 | ||
| c1 | | Carsten Rudolph: A Formal Model for Systematic Design of Key Establishment Protocols. ACISP 1998: 332-343 |
Colors in the list of coauthors
Last update Mon May 20 06:35:43 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page