Mathieu Baudet

Identifiers

• name variant Mathieu Baudet 0.60 · backfill

Papers (1)

1. YAPA: A generic tool for computing intruder knowledge cs.LO · 2010 · author #1

Mentions

• 1005.0737 #1 · backfill · confidence 0.70 Mathieu Baudet

Frequent Coauthors

• St\'ephanie Delaune 1 shared papers
• V\'eronique Cortier 1 shared papers