Juan Carlos López Pimentel

	2007
3		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		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		Juan Carlos López Pimentel, Raul Monroy: A Rippling-Based Difference Reduction Technique to Automatically Prove Security Protocol Goals. IBERAMIA 2004: 364-374

Coauthor Index

1	Dieter Hutter	[2] [3]
2	Raul Monroy	[1] [2] [3]