Laurent Vanbever

Reducing the Overhead of SRv6

Replicability: Challenging the Myth of Randomness Patterns in Encrypted Traffic

Several recent studies claim that encrypted network traffic exhibits statistically significant randomness deficiencies due to differences in cryptographic algorithms, implementations, and parameterization, and that such patterns can be exploited for application classification in TLS traffic. This interpretation has bee...

Ampel: Scheduling at the Network Cut in ML Training

The size and communication patterns of modern ML training workloads place significant strain on datacenter fabrics. When bandwidth demand exceeds capacity, flows experience slowdowns and iteration time grows larger. Fine-grained load-balancing such as packet spraying cannot fully resolve this issue, yet it can shift th...

The Power of Indirection: Scaling Switches Beyond Silicon Boundaries

The slowdown of Moore's law and the area limit of monolithic integration have made chiplet-based designs inevitable across many domains, including network ASICs. However, combining multiple network ASICs together poses a fundamental challenge: maintaining sufficient inter-ASIC bandwidth to match the performance of an i...

When static verification is not enough: revealing BGP bugs at runtime

This work presents GhostBuster, a runtime system which monitors the execution of BGP routers and verifies their compliance with the protocol specification, and fully implemented GhostBuster is fully implemented and used to detect bugs in production routers.

Self-evolving network verifiers

Automating model growth shifts the hard problem from writing verification systems to systematically testing them; this work proposes a research agenda for trusting and harnessing automatically evolved verifiers.