- Agence nationale de la sécurité des systèmes d'information
- Architecture et Logiciels pour Systèmes Embarqués sur Puce
- CITI Centre of Innovation in Telecommunications and Integration of services
- CMP-GC
- Calcul Algébrique et Symbolique, Sécurité, Systèmes Complexes, Codes et Cryptologie
- Calculs Algébriques et Systèmes Dynamiques
- CentraleSupélec
- Centre Electronique de l'Armement [Bruz]
- Centre National de la Recherche Scientifique
- Centre d'Études et de Recherches sur le Développement International
- Centre d'études sur la sécurité internationale et les coopérations européennes
- Centrum Wiskunde & Informatica
- Commissariat à l'énergie atomique et aux énergies alternatives
- Commissariat à l'énergie atomique et aux énergies alternatives - Laboratoire d'Electronique et de Technologie de l'Information
- Conception Produit Process
- Conception et Test de SYStèmes embarqués
- Confidentialité, Intégrité, Disponibilité et Répartition
- Construction of verified concurrent systems
- Control for Autonomic computing systems
- Delft University of Technology
- Department of Formal Methods
- Department of Mathematics [Raleigh]
- Department og Engineering and Architecture [Parma]
- Direction de Recherche Technologique (CEA)
- Drakkar
- Département Automatique
- Département Images et Signal
- Département Ingénierie Logiciels et Systèmes
- Département Systèmes et Architectures Sécurisés
- Département d'Architectures, Conception et Logiciels Embarqués-LIST
- Ecole Nationale Supérieure des Mines de St Etienne
- Ecole Nationale d'Ingénieurs de Sousse
- Faculté des Sciences de Monastir
- GIPSA - Signal et Automatique pour la surveillance, le diagnostic et la biomécanique
- GIPSA - Systèmes non linéaires et complexité
- Gestion et Conduite des Systèmes de Production
- Grenoble Images Parole Signal Automatique
- IMT Atlantique
- Inria Bordeaux - Sud-Ouest
- Inria Grenoble - Rhône-Alpes
- Inria Lyon
- Inria Nancy - Grand Est
- Inria Rennes – Bretagne Atlantique
- Inria Sophia Antipolis - Méditerranée
- Institut Fourier
- Institut Mines-Télécom [Paris]
- Institut National Polytechnique de Grenoble
- Institut National de Recherche en Informatique et en Automatique
- Institut National de l'Environnement Industriel et des Risques
- Institut National des Sciences Appliquées
- Institut National des Sciences Appliquées - Rennes
- Institut National des Sciences Appliquées de Lyon
- Institut Polytechnique de Grenoble - Grenoble Institute of Technology
- Institut de Microélectronique, Electromagnétisme et Photonique - Laboratoire d'Hyperfréquences et Caractérisation
- Institut de Recherche en Informatique et Systèmes Aléatoires
- Institut de Recherche pour le Développement
- Institut polytechnique de Grenoble - Grenoble Institute of Technology
- LIP6
- Laboratoire Jean Kuntzmann
- Laboratoire Lorrain de Recherche en Informatique et ses Applications
- Laboratoire Sûreté des Logiciels
- Laboratoire d'Informatique de Grenoble
- Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier
- Laboratoire d'Informatique, de Modélisation et d'Optimisation des Systèmes
- Laboratoire d'Informatique, de Modélisation et d'optimisation des Systèmes
- Laboratoire d'Intégration des Systèmes et des Technologies
- Laboratoire d'informatique de l'École polytechnique [Palaiseau]
- Laboratoire de Conception et d'Intégration des Systèmes
- Laboratoire de Microélectronique et Instrumentations [Monastir]
- Laboratoire des sciences pour la conception, l'optimisation et la production
- Microsoft Corporation [Redmond, Wash.]
- Microsoft Corporation [Redmond]
- Ministère de la Défense
- NTX Research SA (NTX Research SA)
- National Engineering School of Sousse | Ecole Nationale d'Ingénieurs de Sousse
- National Institute of Advanced Industrial Science and Technology
- North Carolina State University [Raleigh]
- Ochanomizu University
- Oppida
- Privacy Models, Architectures and Tools for the Information Society
- Proof techniques for security protocols
- Radboud University [Nijmegen]
- SIGMA Clermont
- STMicroelectronics [Crolles]
- SYSTÈMES LARGE ÉCHELLE
- Sciences Po Grenoble - Institut d'études politiques de Grenoble
- Secure Diffuse Programming
- Sorbonne Université
- Système d’Information, conception RobustE des Produits
- Techniques de l'Informatique et de la Microélectronique pour l'Architecture des systèmes intégrés
- Test and dEpendability of microelectronic integrated SysTems
- Tiempo SAS [Montbonnot Saint Martin]
- Tohoku University [Sendai]
- Tokyo Institute of Technology [Tokyo]
- Trusted Labs
- United States Naval Academy
- Universidad de la frontera [Chile]
- University of North Carolina System
- Università degli studi di Parma = University of Parma
- Université Blaise Pascal - Clermont-Ferrand 2
- Université Clermont Auvergne
- Université Clermont Auvergne [2017-2020]
- Université Grenoble Alpes
- Université Grenoble Alpes [2016-2019]
- Université Joseph Fourier - Grenoble 1
- Université Paris-Saclay
- Université Pierre Mendès France - Grenoble 2
- Université Savoie Mont Blanc
- Université Toulouse Capitole
- Université d'Auvergne - Clermont-Ferrand I
- Université de Bretagne Sud
- Université de Lorraine
- Université de Lyon
- Université de Monastir - University of Monastir
- Université de Montpellier
- Université de Rennes
- Université de Toulouse
- VERIMAG
- Validation de Systèmes, Composants et Objets logiciels
- École des Mines de Saint-Étienne
- École normale supérieure - Rennes
- École polytechnique