Reducing the Overhead of SRv6
Benjamin Arn, Jean Mégret, Ricardo Santos et al.
· 0 citations
We have 3 of 15 papers
We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.
Not the right person? Other researchers publish under this name.
Book
Open access
Aug 2026
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.
Pietro Ronchetti, Tibor Schneider, Laurent Vanbever
· Conference on Applications,... · 0 citations
Preprint
Aug 2026
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.
Ioannis Protogeros, Tibor Schneider, Laurent Vanbever
· 0 citations