Knowledge Tree

researcher / Cécile Baritel-Ruet

Cécile Baritel-Ruet

at_id:

orcid_id:

Disciplines:

Computer sciences

Edit Merge See Links

Thesis:

Preuves formelles de la sécurité de standards : Un objectif nécessaire, possible grâce à EasyCrypt