Search the dblp DataBase

Publications of Author

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. [Citation Graph (0, 0)][DBLP]
   CAV, 2005, pp:281-285 [Conf]
   
2. Yohan Boichut, Pierre-Cyrille Héam, Olga Kouchnarenko
   Handling Algebraic Properties in Automatic Analysis of Security Protocols. [Citation Graph (0, 0)][DBLP]
   ICTAC, 2006, pp:153-167 [Conf]
   
3. Yohan Boichut, Thomas Genet
   Feasible Trace Reconstruction for Rewriting Approximations. [Citation Graph (0, 0)][DBLP]
   RTA, 2006, pp:123-135 [Conf]
   
4. Yohan Boichut, Thomas Genet, Thomas P. Jensen, Luka Le Roux
   Rewriting Approximations for Fast Prototyping of Static Analyzers. [Citation Graph (0, 0)][DBLP]
   RTA, 2007, pp:48-62 [Conf]
   
5. 
   Towards an Efficient Implementation of Tree Automata Completion. [Citation Graph (, )][DBLP]
   
   
6. 
   Finer Is Better: Abstraction Refinement for Rewriting Approximations. [Citation Graph (, )][DBLP]
   
   
7. 
   How to Tackle Integer Weighted Automata Positivity. [Citation Graph (, )][DBLP]
   
   
8. 
   Handling Left-Quadratic Rules When Completing Tree Automata. [Citation Graph (, )][DBLP]
   
   
9. 
   Tree Automata for Detecting Attacks on Protocols with Algebraic Cryptographic Primitives. [Citation Graph (, )][DBLP]