A Mechanised Cryptographic Proof of the WireGuard Virtual Private Network Protocol.

Benjamin Lipp Bruno Blanchet Karthikeyan Bhargavan

Published in: EuroS&P (2019)

Keyphrases

virtual environment
virtual reality
private data
smart card
decision trees
augmented reality
privacy preserving
public private
key management
hash functions
theorem proving
database
virtual world
real world
three dimensional
artificial intelligence
machine learning
data mining