Section: Partnerships and Cooperations

International Initiatives

Inria International Partners

• 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 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.