Judson Santiago

	2007
3		Judson Santiago, Laurent Vigneron: Optimistic Non-repudiation Protocol Analysis. WISTP 2007: 90-101
2		Francis Klay, Judson Santiago, Laurent Vigneron: Automatic Methods for Analyzing Non-Repudiation Protocols with an Active Intruder CoRR abs/0710.3305: (2007)
	2005
1		Alessandro Armando, David A. Basin, Yohan Boichut, Yannick Chevalier, Luca Compagna, Jorge Cuéllar, Paul Hankes Drielsma, Pierre-Cyrille Héam, Olga Kouchnarenko, Jacopo Mantovani, Sebastian Mödersheim, David von Oheimb, Michaël Rusinowitch, Judson Santiago, Mathieu Turuani, Luca Viganò, Laurent Vigneron: The AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications. CAV 2005: 281-285

Coauthor Index

1	Alessandro Armando	[1]
2	David A. Basin	[1]
3	Yohan Boichut	[1]
4	Yannick Chevalier	[1]
5	Luca Compagna	[1]
6	Jorge Cuéllar	[1]
7	Paul Hankes Drielsma	[1]
8	Pierre-Cyrille Héam	[1]
9	Francis Klay	[2]
10	Olga Kouchnarenko	[1]
11	Jacopo Mantovani	[1]
12	Sebastian Mödersheim	[1]
13	David von Oheimb	[1]
14	Michaël Rusinowitch	[1]
15	Mathieu Turuani	[1]
16	Luca Viganò	[1]
17	Laurent Vigneron	[1] [2] [3]