Vérification formelle des politiques de sécurité pour les protocoles IoT

Financement / Co-financement ICO: 1

Quentin PEYRAS (IRIT) - Ghada GHARBI (EPITA Toulouse) - Souheib BAARIR (Université de Sorbonne) depuis le 01/12/2024

Etablissement / Laboratoire : IRIT