USENIX supports diversity, equity, and inclusion and condemns hate and discrimination.
Biblio
Export 5 results:
Filters: Author is Martin Vechev [Clear All Filters]
Metha: Network Verifiers Need To Be Correct Too!. 18th USENIX Symposium on Networked Systems Design and Implementation (NSDI 21). :99--113.
.
2021. Config2Spec: Mining Network Specifications from Network Configurations . 17th USENIX Symposium on Networked Systems Design and Implementation (NSDI 20). :969--984.
.
2020. Net2Text: Query-Guided Summarization of Network Forwarding Behaviors. 15th USENIX Symposium on Networked Systems Design and Implementation (NSDI 18). :609--623.
.
2018. NetComplete: Practical Network-Wide Configuration Synthesis with Autocompletion. 15th USENIX Symposium on Networked Systems Design and Implementation (NSDI 18). :579--594.
.
2018. NetHide: Secure and Practical Network Topology Obfuscation. 27th USENIX Security Symposium (USENIX Security 18). :693--709.
.
2018.