32 citations · 44 across the 10 of their papers we have counts for
Showing 2016 · cs.NIShow all
2 papers · 2 filters
cs.NI2016★ 32 cited
Outsmarting Network Security with SDN Teleportation
Kashyap Thimmaraju, Liron Schiff, Stefan Schmid
Software-defined networking is considered a promising new paradigm, enabling more reliable and formally verifiable communication networks. However, this paper shows that the separa…
cs.NI2016
Routing-Verification-as-a-Service (RVaaS): Trustworthy Routing Despite Insecure Providers
Liron Schiff, Kashyap Thimmaraju, Stefan Schmid
Computer networks today typically do not provide any mechanisms to the users to learn, in a reliable manner, which paths have (and have not) been taken by their packets. Rather, it…