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.