Disciplines Institutions Contribute Search
Add Thesis Add Researcher Add Institution
researcher / Yassine Lakhnech

Yassine Lakhnech

at_id:

orcid_id:

Disciplines:

Computer sciences
Edit Merge See Links

Directed Thesis:

Méthodes pour la vérification des protocoles cryptographiques dans le modèle calculatoire
Formal Verification of Voting and Auction Protocols : From Privacy to Fairness and Verifiability
Vérification relationnelle pour des programmes avec des données entières
Vérification de programmes avec structures de données complexes
Construction de systèmes répartis sécurisés à base de composants
Formalisation de preuves de sécurité concrète
Automatisation de la certification formelle de systèmes critiques par instrumentation d'interpréteurs abstraits
Lien entre modèles symboliques et computationnels pour les protocoles cryptographiques utilisant des hachages
Méthodes algorithmiques de vérification des protocoles cryptographiques