Algorithmique, programmation, logiciels et architectures
Sécurité et confidentialité
- CIDRE - Confidentialité, Intégrité, Disponibilité et Répartition
- COMETE - Concurrence, Mobilité et Transactions
- PESTO - Techniques de Preuves pour les Protocoles de Sécurité
- PRIVATICS - Modèles, architectures et outils pour la protection de la vie privée dans la société de l'information
- PROSECCO - Programming securely with cryptography
- TAMIS - Analyse de la menace et atténuation pour la sécurité des informations
Rechercher une équipe
Par domaine
- Mathématiques appliquées, calcul et simulation
- Algorithmique, programmation, logiciels et architectures
- Réseaux, systèmes et services, calcul distribué
- Perception, Cognition, Interaction
- Santé, biologie et planète numériques