| |
| 2007 | ||
|---|---|---|
| 3 | EE | Juan Carlos López Pimentel, Raul Monroy, Dieter Hutter: On the Automated Correction of Security Protocols Susceptible to a Replay Attack. ESORICS 2007: 594-609 |
| 2 | EE | Juan Carlos López Pimentel, Raul Monroy, Dieter Hutter: A Method for Patching Interleaving-Replay Attacks in Faulty Security Protocols. Electr. Notes Theor. Comput. Sci. 174(4): 117-130 (2007) |
| 2004 | ||
| 1 | EE | Juan Carlos López Pimentel, Raul Monroy: A Rippling-Based Difference Reduction Technique to Automatically Prove Security Protocol Goals. IBERAMIA 2004: 364-374 |
| 1 | Dieter Hutter | [2] [3] |
| 2 | Raul Monroy | [1] [2] [3] |