2021 | COFFY – CryptOgraphy & Formal method For privacY

Axe : ScilexCoordinateurs : Caroline Fontaine (CNRS, LMF, caroline.fontaine@lsv.fr) et Duong Hieu Phan (Telecom Paris, LTCI, hieu.phan@telecom-paris.fr )Laboratoire gestionnaire : LMFAutres laboratoires impliqués : DAVID, Inria, LIST, LIX, LMV, LTCI, SAMOVARÉquipes concernées et liste des participants (ordre…

Continuer la lecture 2021 | COFFY – CryptOgraphy & Formal method For privacY

2020 | TransForm: Transactions Formelles

Axe : Scilex Coordinateurs : Évelyne Contejean, LRI, équipe VALS Stefania Dumbrava, ENSIIE & Samovar Laboratoire gestionnaire : LRI Autres laboratoires impliqués : SAMOVAR Équipes concernées et liste des participants…

Continuer la lecture 2020 | TransForm: Transactions Formelles

2019 | Théorie de l’Information

Axe : comEx Coordinateurs : Sheng Yang Financement Labex : 2017 - 2 ans Documents Productions Scientifiques Présentation : Ce GT se situe dans la tâche «Network information theory» de…

Continuer la lecture 2019 | Théorie de l’Information