EN FR
EN FR


Section: Partnerships and Cooperations

International Initiatives

Visits of International Scientists

  • Olivier Pereira, Université Catholique de Louvain, Belgium, one week, March 2011.

  • Mahesh Viswanathan, University of Illinois at Urbana-Champaign, one month, May 2011.

Internship
  • Jan Degrieck, Graph Reduction for Analysing Secure Routing Protocols, advisor Stéphanie Delaune (with co-advisor Véronique Cortier);

  • Daniel Pasaila, Algorithms for Deciding Symbolic Equivalence, advisors Stéphanie Delaune and Steve Kremer;

  • Loredana Vamanu, A Formal Analysis of Yubikey, advisor Graham Steel.