Knowledge Tree

researcher / Alexandre Debant

Alexandre Debant

at_id:

orcid_id:

Disciplines:

Computer sciences

Edit Merge See Links

Thesis:

Symbolic verification of distance-bounding protocols : application to payment protocols