| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 2012 | |
|---|---|---|
| 5 |      | Rohit Chadha, Stefan Ciobâca, Steve Kremer: Automated Verification of Equivalence Properties of Cryptographic Protocols. ESOP 2012: 108-127 |
| 4 | | Stefan Ciobâca, Stéphanie Delaune, Steve Kremer: Computing Knowledge in Security Protocols Under Convergent Equational Theories. J. Autom. Reasoning 48(2): 219-262 (2012) |
| 2010 | ||
| 3 | | Stefan Ciobâca, Véronique Cortier: Protocol Composition for Arbitrary Primitives. CSF 2010: 322-336 |
| 2009 | ||
| 2 | | Stefan Ciobâca, Stéphanie Delaune, Steve Kremer: Computing Knowledge in Security Protocols under Convergent Equational Theories. CADE 2009: 355-370 |
| 2008 | ||
| 1 | | Sorin Iftene, Stefan Ciobâca, Manuela Grindei: Compartmented Threshold RSA Based on the Chinese Remainder Theorem. IACR Cryptology ePrint Archive 2008: 370 (2008) |
| 1 | Rohit Chadha | [5] |
| 2 | Véronique Cortier | [3] |
| 3 | Stéphanie Delaune | [2] [4] |
| 4 | Manuela Grindei | [1] |
| 5 | Sorin Iftene | [1] |
| 6 | Steve Kremer | [2] [4] [5] |
Colors in the list of coauthors
Last update Sun May 27 04:04:01 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page