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.