Parisian Master of Research in Computer Science
Master Parisien de Recherche en Informatique (MPRI)

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

internships [2020/01/11 19:54]
127.0.0.1 external edit
internships [2020/01/11 20:41] (current)
carton
Line 91: Line 91:
   - **[[http://nts.imag.fr/images/8/85/ArchitectureSeparationLogic.pdf|Local Reasoning about Reconfigurable Component-based Systems]]** \\ <color grey>Radu Iosif - Verimag</color>\\ <color grey></color>   - **[[http://nts.imag.fr/images/8/85/ArchitectureSeparationLogic.pdf|Local Reasoning about Reconfigurable Component-based Systems]]** \\ <color grey>Radu Iosif - Verimag</color>\\ <color grey></color>
   - **[[http://nts.imag.fr/images/5/5e/InfiniteAlphabetAutomata.pdf|Verifying Concurrent Systems with Automata over Infinite Alphabets]]** \\ <color grey>Radu Iosif - Verimag</color>\\ <color grey></color>   - **[[http://nts.imag.fr/images/5/5e/InfiniteAlphabetAutomata.pdf|Verifying Concurrent Systems with Automata over Infinite Alphabets]]** \\ <color grey>Radu Iosif - Verimag</color>\\ <color grey></color>
-  - **[[https://drive.google.com/file/d/0B9udyV3VFk3KYkZzcl9oQzFSWE9xdHotQXZ1bGVBT1EzQmhR/view?usp=sharing|Design and analysis of multi-input functional encryption schemes]]** \\ <color grey>Michel Abdalla (DR CNRS) and David Pointcheval (DR CNRS) Département d’informatique, École normale supérieure</color>\\ <color grey>2.12.2 2.12.1 2.30</color> 
  
 
Universités partenaires Université Paris-Diderot
Université Paris-Saclay
ENS Cachan École polytechnique Télécom ParisTech
ENS
Établissements associés Université Pierre-et-Marie-Curie CNRS INRIA CEA