A Mechanised Cryptographic Proof of the WireGuard Virtual Private Network Protocol - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Benjamin Lipp, Bruno Blanchet, Karthikeyan Bhargavan. A Mechanised Cryptographic Proof of the WireGuard Virtual Private Network Protocol. In IEEE European Symposium on Security and Privacy, EuroS&P 2019, Stockholm, Sweden, June 17-19, 2019. pages 231-246, IEEE, 2019. [doi]

This author has not been identified. Look up 'Benjamin Lipp' in GoogleThis author has not been identified. Look up 'Bruno Blanchet' in GoogleThis author has not been identified. Look up 'Karthikeyan Bhargavan' in Google

runs on WebDSL