( en | de | ru )

 

Disambiguation of "Sekar, Vyas"

Author of the publication

copydeleteadd this publication to your clipboard
NetSMC: A Custom Symbolic Model Checker for Stateful Network Verification.

, , , , and . NSDI, page 181-200. USENIX Association, (2020)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Sandra Vyas

Gautham Sekar

Mukesh Kumar Vyas

Nadine Vyas

Avinash Vyas

 

Other publications of authors with the same name

EZ-PC: program committee selection made easy.. Comput. Commun. Rev., 46 (3): 6:1-6:3 (2016)Towards verifiable resource accounting for outsourced computation., , , , and . VEE, page 167-178. ACM, (2013)Revisiting TCP congestion control throughput models & fairness properties at scale., , , , and . Internet Measurement Conference, page 96-103. ACM, (2021)EONA: Experience-Oriented Network Architecture., , , , and . HotNets, page 11:1-11:7. ACM, (2014)Achieving 100Gbps Intrusion Prevention on a Single Server., , , , , and . OSDI, page 1083-1100. USENIX Association, (2020)Why Spectral Normalization Stabilizes GANs: Analysis and Improvements., , and . NeurIPS, page 9625-9638. (2021)Security Analysis of Networked 3D Printers., , , , , and . SP (Workshops), page 118-125. IEEE, (2020)Shedding Light on Inconsistencies in Grid Cybersecurity: Disconnects and Recommendations., , , , , , and . SP, page 38-55. IEEE, (2023)Evolution of social-attribute networks: measurements, modeling, and implications using google+., , , , , , and . Internet Measurement Conference, page 131-144. ACM, (2012)A First Look at Performance in Mobile Virtual Network Operators., , , , and . Internet Measurement Conference, page 165-172. ACM, (2014)