Section: Partnerships and Cooperations

International Initiatives

Inria International Partners

• Collaboration with David Basin, Ralf Sasse and Lara Schmid (ETH Zurich), Cas Cremers (Univ Oxford), and Sasa Radomirovic (Univ Dundee) on the improvement of the TAMARIN prover

• Collaboration with Bogdan Warinschi (Univ Bristol) on defining game-based privacy for e-voting protocols and isolated execution environments

• Collaboration with Myrto Arapinis (Univ Edinburgh) on simplification results for the formal analysis of e-voting protocols

• Collaboration with Matteo Maffei (CISPA, Germany) on type systems for e-voting systems

• Collaboration with Michael Backes and Robert Künnemann (CISPA, Germany) on automated verification of security protocols

• Collaboration with Paliath Narendran's group (SUNY Albany) on automated deduction

• Collaboration with Hanifa Boucheneb's group (Polytechnique Montreal) on model-checking of collaborative systems

• Collaboration with John Mullins's group (Polytechnique Montreal) on information hiding