Knowledge Tree

researcher / Hubert Comon-Lundh

Hubert Comon-Lundh

at_id:

orcid_id:

Disciplines:

Applied sciences

Computer sciences

Edit Merge See Links

Thesis:

Unification et disunification : théorie et applications

Directed Thesis:

Preuves de protocoles cryptographiques : méthodes symboliques et attaquants puissants

Preuves symboliques de propriétés d’indistinguabilité calculatoire

Proof of security protocols revisited

Automatic verification of cryptographic protocols : privacy-type properties

Théories de l'intrus pour la vérification des protocoles cryptographiques

Vérification des protocoles cryptographiques et propriétés algébriques

Automates d'arbres et reecriture de termes