Section: Partnerships and Cooperations

International Research Visitors

Visits of International Scientists

• Michael May (Faculty Lecturer, Kinneret College on the Sea of Galilee, Israel) visited us for three months as professeur invité.

• Sergio Maffeis (Imperial College, London) visited us as part of an ongoing collaboration.

Internships

• Jean Karim Zinzindohoue did his M1 stage with Karthikeyan Bhargavan. He won the “Prix du stage de recherche dit prix d'option” for his work on “Tracking Cryptographically Masked Flows in Android Applications”

• Antoine Delignat-Lavaud did his M2 stage with Karthikeyan Bhargavan on “Security Types for Web Applications”

• Chetan Bansal did a Master's stage with Karthikeyan Bhargavan on “Analysis and Verification of Security for Web Applications”

• Avinash Thummala did a Master's stage with Karthikeyan Bhargavan on “Verifying JavaCard Applets”

• Sneha Popley did a PhD summer internship with Karthikeyan Bhargavan on “Verifying Cryptographic Applications in Java”

Visits to International Teams

• Visits to Imperial College, London: Karthikeyan Bhargavan, Antoine Delignat-Lavaud, Chetan Bansal

• Visits to Microsoft Research, Cambridge: Karthikeyan Bhargavan, Alfredo Pironti

• Visits to University of Birmingham: Ben Smyth, Miriam Paiola