2021 | COFFY – CryptOgraphy & Formal method For privacY
Axe: ScilexCoordinators: Caroline Fontaine (CNRS, LMF, caroline.fontaine@lsv.fr) et Duong Hieu Phan (Telecom Paris, LTCI, hieu.phan@telecom-paris.fr )Laboratory: LMFOther laboratories involved: DAVID, Inria, LIST, LIX, LMV, LTCI, SAMOVARInvolved teams (alphabetical order): DAVID EPI PETRUS, LIST (CEA) crypto group, LIX…