Section: Partnerships and Cooperations

International Initiatives

Inria International Partners

• Collaboration with David Basin, Ralf Sasse and Lara Schmid (ETH Zurich), Cas Cremers (University of Oxford), and Sasa Radomirovic (University of Dundee) on the improvement of the TAMARIN prover and the elaboration of a user manual.

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

• Collaboration with Myrto Arapinis (University of 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 (Ecole Polytechnique de Montréal) on model-checking of collaborative systems.

• Collaboration with John Mullins's group (Ecole Polytechnique de Montréal) on information hiding.