Knowledge Tree

researcher / Bruno Blanchet

Bruno Blanchet

at_id:

orcid_id:

Disciplines:

Computer sciences

Edit Merge See Links

Directed Thesis:

Formal verification for real-world cryptographic protocols and implementations

Verification of cryptographic protocols with lists of unbounded length

Implémentations de protocoles cryptographiques prouvées dans le modèle calculatoire

Automatic verification of cryptographic protocols : privacy-type properties