News
The Power of the Hallway Track: WireGuard, Formal Verification, and NDSS
Dec 2, 2025
I recently came across a compelling story about the long-term impact of academic conferences—one that involves the Network and Distributed System Security (NDSS) Symposium. I have been experimenting with the WireGuard Virtual Private Network (VPN) protocol for some time. For those not aware, it is a modern technology used to... Read more