Biblio

Export 12 results:
Filters: Author is Laurent Vanbever  [Clear All Filters]
2021
Birkner R, Brodmann T, Tsankov P, Vanbever L, Vechev M.  2021.  Metha: Network Verifiers Need To Be Correct Too!. 18th USENIX Symposium on Networked Systems Design and Implementation (NSDI 21). :99--113.
2020
Birkner R, Drachsler-Cohen D, Vanbever L, Vechev M.  2020.  Config2Spec: Mining Network Specifications from Network Configurations . 17th USENIX Symposium on Networked Systems Design and Implementation (NSDI 20). :969--984.
Alcoz AGran, Dietmüller A, Vanbever L.  2020.  SP-PIFO: Approximating Push-In First-Out Behaviors using Strict-Priority Queues . 17th USENIX Symposium on Networked Systems Design and Implementation (NSDI 20). :59--76.
2019
Holterbach T, Molero ECosta, Apostolaki M, Dainotti A, Vissicchio S, Vanbever L.  2019.  Blink: Fast Connectivity Recovery Entirely in the Data Plane. 16th USENIX Symposium on Networked Systems Design and Implementation (NSDI 19). :161--176.
2018
Birkner R, Drachsler-Cohen D, Vanbever L, Vechev M.  2018.  Net2Text: Query-Guided Summarization of Network Forwarding Behaviors. 15th USENIX Symposium on Networked Systems Design and Implementation (NSDI 18). :609--623.
El-Hassany A, Tsankov P, Vanbever L, Vechev M.  2018.  NetComplete: Practical Network-Wide Configuration Synthesis with Autocompletion. 15th USENIX Symposium on Networked Systems Design and Implementation (NSDI 18). :579--594.
Meier R, Tsankov P, Lenders V, Vanbever L, Vechev M.  2018.  NetHide: Secure and Practical Network Topology Obfuscation. 27th USENIX Security Symposium (USENIX Security 18). :693--709.
Tilmans O, Bühler T, Poese I, Vissicchio S, Vanbever L.  2018.  Stroboscope: Declarative Network Monitoring on a Budget. 15th USENIX Symposium on Networked Systems Design and Implementation (NSDI 18). :467--482.
2016
Gupta A, MacDavid R, Birkner R, Canini M, Feamster N, Rexford J, Vanbever L.  2016.  An Industrial-Scale Software Defined Internet Exchange Point. 13th USENIX Symposium on Networked Systems Design and Implementation (NSDI 16). :1--14.
Gupta A, MacDavid R, Birkner R, Canini M, Feamster N, Rexford J, Vanbever L.  2016.  An Industrial-Scale Software Defined Internet Exchange Point. 2016 USENIX Annual Technical Conference (USENIX ATC 16).
2015
Sun Y, Edmundson A, Vanbever L, Li O, Rexford J, Chiang M, Mittal P.  2015.  RAPTOR: Routing Attacks on Privacy in Tor. 24th USENIX Security Symposium (USENIX Security 15). :271--286.