Biblio

Export 3 results:
Filters: Author is Petar Tsankov  [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.
2018
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.