Knowledge Tree

researcher / Alix Trieu

Alix Trieu

at_id:

orcid_id:

Disciplines:

Computer sciences

Edit Merge See Links

Thesis:

Vérification d'implémentations constant-time dans une chaîne de compilation vérifiée