Judson Santiago

According to our database, Judson Santiago authored at least 3 papers between 2005 and 2007.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2007

Automatic Methods for Analyzing Non-Repudiation Protocols with an Active Intruder

Francis Klay, Judson Santiago, Laurent Vigneron

CoRR, 2007

Optimistic Non-repudiation Protocol Analysis.

Judson Santiago, Laurent Vigneron

Proceedings of the Information Security Theory and Practices. Smart Cards, 2007

2005

The AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications.

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

Proceedings of the Computer Aided Verification, 17th International Conference, 2005