Mechanised Models and Proofs for Distance-Bounding - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Ioana Boureanu, Constantin Catalin Dragan, François Dupressoir, David Gérault, Pascal Lafourcade 0001. Mechanised Models and Proofs for Distance-Bounding. In 34th IEEE Computer Security Foundations Symposium, CSF 2021, Dubrovnik, Croatia, June 21-25, 2021. pages 1-16, IEEE, 2021. [doi]

This author has not been identified. Look up 'Ioana Boureanu' in GoogleThis author has not been identified. Look up 'Constantin Catalin Dragan' in GoogleThis author has not been identified. Look up 'François Dupressoir' in GoogleThis author has not been identified. Look up 'David Gérault' in GoogleThis author has not been identified. Look up 'Pascal Lafourcade 0001' in Google

runs on WebDSL