Network infrastructure (including routing, peer-to-peer and virtual private networking) Archives

Formal verification of the reference open source SCION Router

Nix integration with netbox

Dynamic Tunneling of WPA over IP/L2TP

Privacy-preserving, energy efficient data replication and verification

Path-aware web server/proxy deployment and browsing

Implement SMS-CB for emergency messages on Linux

A Secure Distributed System Layer for Networked Cluster Computing

Improve network queue management algorithms on Linux

Time Slotted Channel Hopping implement in Rust

FPGA implementation of Wireguard protocol written in SpinalHDL

1 2 … 20