Manel Barkallah

Une nouvelle approche améliore les langages de coordination basés sur les données pour de meilleures performances.

Les outils B2Scala améliorent l'analyse des protocoles de sécurité pour une communication sécurisée.