Searched for: subject%3A%22Programmable%255C+networks%22
(1 - 3 of 3)
document
Shukla, Apoorv (author), Hudemann, Kevin (author), Vagi, Zsolt (author), Hugerich, Lily (author), Smaragdakis, G. (author), Hecker, Artur (author), Schmid, Stefan (author), Feldmann, Anja (author)
We introduce a runtime verification framework for programmable switches that complements static analysis. To evaluate our approach, we design and develop P6, a runtime verification system that automatically detects, localizes, and patches software bugs in P4 programs. Bugs are reported via a violation of pre-specified expected behavior that...
journal article 2023
document
Turkovic, B. (author)
Throughout the last decades, communication networks have become embedded into almost every aspect of our day-to-day lives (e.g., watching movies, online shopping, sharing moments with friends and family). Moreover, as the support for the transport of audio and video became the norm, new application domains have kept emerging every day. One of...
doctoral thesis 2022
document
Kozlowski, W. (author), Kuipers, F.A. (author), Wehner, S.D.C. (author)
The quantum technology revolution brings with it the promise of a quantum internet. A new --- quantum --- network stack will be needed to account for the fundamentally new properties of quantum entanglement. The first realisations of quantum networks are imminent and research interest in quantum network protocols has started growing. In the non...
conference paper 2020