Memory safe HTTP client
Network infrastructure (including routing, peer-to-peer and virtual private networking)
By gabrielemartel
Improve MPTCP support in the Linux kernel
By gabrielemartel
Probabilistic detection of BGP hijacking
By
Formal verification of the reference open source SCION Router
By
Privacy-preserving, energy efficient data replication and verification
By
Implement SMS-CB for emergency messages on Linux
By
A Secure Distributed System Layer for Networked Cluster Computing