Date :
Acceptation du projet FACPQC (Formal Analysis and Verification of Post-Quantum Cryptographic Protocols) de Ayoub Otmani (Equipe CA).
Projet international avec l'Universitat Politecnica de Valencia (Espagne), Japan Advanced Institute of Science and Technology (Japon) et Ondokuz Mayis University (Turquie).