Véronique Cortier

1. YAPA: A generic tool for computing intruder knowledge
   2010/05/05 by Mathieu Baudet, Véronique Cortier, Baudet, Mathieu +3 · 1 citation
   Computer Science · #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #cs.CR #cs.LO