Network analysis and reasoning

"What is my network doing?" What looks like a simple (if not trivial) question is actually almost impossible to answer today and this, for at least two reasons. First, existing network measurements tools only provide operators with coarse-grained traffic statistics (typically as a result of heavy sampling by the devices). Second, network operators have to manually bridge the large semantic gap separating these imperfect observations from the corresponding high-level insights that explain them. 

Our group is investigating new kinds of measurement and reasoning techniques enabling to: (i) collect high-quality network statistics in a scalable way; and (ii) extract meaningful insights from them.

People

Recordings

Publications

Probabilistic Verification of Network Configurations

Samuel Steffen, Timon Gehr, Petar Tsankov, Laurent Vanbever, Martin Vechev

ACM SIGCOMM 2020. New York, USA (August 2020).

Config2Spec: Mining Network Specifications from Network Configurations

Rüdiger Birkner, Dana Drachsler Cohen, Laurent Vanbever, Martin Vechev

USENIX NSDI 2020. Santa Clara, California, USA (February 2020).

Bayonet: Probabilistic Inference for Networks

Timon Gehr, Sasa Misailovic, Petar Tsankov, Laurent Vanbever, Pascal Wiesman, Martin Vechev

PLDI 2018. Philadelphia, Pennsylvania, USA (June 2018).

Stroboscope: Declarative Network Monitoring on a Budget

Olivier Tilmans, Tobias Bühler, Ingmar Poese, Stefano Vissicchio, Laurent Vanbever

USENIX NSDI 2018. Renton, Washington, USA (April 2018).

Net2Text: Query-Guided Summarization of Network Forwarding Behaviors

Rüdiger Birkner, Dana Drachsler Cohen, Laurent Vanbever, Martin Vechev

USENIX NSDI 2018. Renton, Washington, USA (April 2018).

Mille-Feuille: Putting ISP traffic under the scalpel.

Olivier Tilmans, Tobias Bühler, Stefano Vissicchio, Laurent Vanbever

ACM HotNets 2016. Atlanta, Georgia, USA (November 2016).