Section: Partnerships and Cooperations

International Research Visitors

Visits of International Scientists

• Myrto Arapinis (University of Edinburgh), March, December 2014

• David Bernhard (Bristol University), March 2014

• Fabienne Eigner (University of Saarbruecken), February, May 2014

• Joshua Guttman (MITRE), January 2014

• Olivier Pereira (University of Louvain-la-Neuve), March 2014

• Nicolas Pouillard (DemTech, University of Copenhagen), February 2014

Internships

• Tushant Jha

  • Subject: Synthesis of Secure Services Composition

  • Supervisor: Michaël Rusinowitch

  • Date: from May 2014 until July 2014

  • Institution: IIIT Hyderabad

• Gemma Puig-Quer

  • Subject: New protocols for private e-voting

  • Supervisors: David Galindo-Chacon and Véronique Cortier

  • Date: from Sep 2013 until Mar 2014

  • Institution: UPC Barcelona (Spain)

• Itsaka Rakotonirina

  • Subject: Automated verification of security protocols with loops

  • Supervisor: Steve Kremer

  • Date: from June 2014 until July 2014

  • Institution: ENS Cachan

• Ludovic Robin

  • Subject: Analysis of security protocols using weak secrets

  • Supervisor: Steve Kremer

  • Date: from April 2014 until September 2014

  • Institution: U. Bordeaux