32 citations · 44 across the 10 of their papers we have counts for
10 papers
Utility Function is All You Need: LLM-based Congestion Control
Neta Rozen-Schiff, Liron Schiff, Stefan Schmid
Congestion is a critical and challenging problem in communication networks. Congestion control protocols allow network applications to tune their sending rate in a way that optimiz…
I DPID It My Way! A Covert Timing Channel in Software-Defined Networks
Robert Krösche, Kashyap Thimmaraju, Liron Schiff +1
Software-defined networking is considered a promising new paradigm, enabling more reliable and formally verifiable communication networks. However, this paper shows that the separa…
Dynamic Probabilistic Reliable Broadcast
Veronika Anikina, João Paulo Bezerra, Petr Kuznetsov +2
Byzantine reliable broadcast is a fundamental primitive in distributed systems that allows a set of processes to agree on a message broadcast by a dedicated process, even when some…
Renaissance: A Self-Stabilizing Distributed SDN Control Plane using In-band Communications
Marco Canini, Iosif Salem, Liron Schiff +2
By introducing programmability, automated verification, and innovative debugging tools, Software-Defined Networks (SDNs) are poised to meet the increasingly stringent dependability…
Software-Defined Adversarial Trajectory Sampling
Kashyap Thimmaraju, Liron Schiff, Stefan Schmid
Today's routing protocols critically rely on the assumption that the underlying hardware is trusted. Given the increasing number of attacks on network devices, and recent reports o…
Detecting Heavy Flows in the SDN Match and Action Model
Yehuda Afek, Anat Bremler-Barr, Shir Landau Feibish +1
Efficient algorithms and techniques to detect and identify large flows in a high throughput traffic stream in the SDN match-and-action model are presented. This is in contrast to p…
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…
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…
PRI: Privacy Preserving Inspection of Encrypted Network Traffic
Liron Schiff, Stefan Schmid
Traffic inspection is a fundamental building block of many security solutions today. For example, to prevent the leakage or exfiltration of confidential insider information, as wel…
Impossibility of a Quantum Speed-up with a Faulty Oracle
Oded Regev, Liron Schiff
We consider Grover's unstructured search problem in the setting where each oracle call has some small probability of failing. We show that no quantum speed-up is possible in this c…