22 views
IEEE Computer Security Foundations Symposium
Mechanised Models and Proofs for Distance-Bounding
Login with Google Login with Discord