Knowledge Tree

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