2020

Methodes pour la verification des protocoles cryptographiques dans le modele calculatoire

Projet de fin d'études Licence

2020

Desambiguisation lexicale de l'arabe pour et par la traduction automatique

Projet de fin d'études Licence

2018

Next generation state-machine replication protocols for data centers

XERXES Stone

Projet de fin d'études Licence