wireguard-tamarin - Proof of WireGuard protocol using Tamarin

summary refs log tree commit diff stats

path: root/COPYING (follow)

	Commit message (Expand)	Author	Age	Files	Lines
*	GPLv2	Jason A. Donenfeld	2017-07-14	1	-0/+339