Mechanised Models and Proofs for Distance-Bounding

22 views

IEEE Computer Security Foundations Symposium

3 years ago

Mechanised Models and Proofs for Distance-Bounding

Mechanised Models and Proofs for Distance-Bounding