Section: Partnerships and Cooperations

International Initiatives

Inria International Partners

Informal International Partners

• Microsoft Research (Cambridge, Redmond): Joint research and development on F*, miTLS, and JavaScript with Cedric Fournet, Markulf Kohlweiss, and Nikhil Swamy

• University of Pennsylvania, Portland State University, Harvard University: Joint research on Micro-Policies: Formally Verified Low-Level Tagging Schemes for Safety and Security

• Imperial College (London): Joint research on web application security with Sergio Maffeis

• University of Venice Ca'Foscari: Joint research on security APIs