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…