Hubert Comon-Lundh
Identifiers
- name variant Hubert Comon-Lundh 0.60 · backfill
Papers (2)
- Visibly Tree Automata with Memory and Constraints cs.LO · 2008 · author #1
- Deciding security properties for cryptographic protocols. Application to key cycles cs.LO · 2007 · author #1
Mentions
Frequent Coauthors
- Eugen Zalinescu 1 shared papers
- Florent Jacquemard 1 shared papers
- Nicolas Perrin 1 shared papers
- V\'eronique Cortier 1 shared papers