English
Related papers

Related papers: Efficient Synthesis of Network Updates

200 papers

Traditional communication networks consist of large sets of vendor-specific manually configurable devices which are hardwired with specific control logic or algorithms. The resulting networks comprise distributed control plane architectures…

Networking and Internet Architecture · Computer Science 2020-07-13 Ijaz Ahmad

With the rise of Software Defined Networks (SDN), there is growing interest in dynamic and centralized traffic engineering, where decisions about forwarding paths are taken dynamically from a network-wide perspective. Frequent path…

Networking and Internet Architecture · Computer Science 2016-10-11 Tal Mizrahi , Yoram Moses

Software Defined Networking has afforded numerous benefits to the network users but there are certain persisting issues with this technology, two of which are scalability and privacy. The natural solution to overcoming these limitations is…

Networking and Internet Architecture · Computer Science 2023-11-10 Akrit Mudvari , Leandros Tassiulas

Software-Defined Networking (SDN) separates the network control plane and data plane, which provides a network-wide view with centralized control (in the control plane) and programmable network configuration for data plane injected by SDN…

Cryptography and Security · Computer Science 2019-06-12 Weng Jiasi , Weng Jian , Liu Jia-Nan , Zhang Yue

Many programs that interact with a database need to undergo schema refactoring several times during their life cycle. Since this process typically requires making significant changes to the program's implementation, schema refactoring is…

Programming Languages · Computer Science 2019-04-12 Yuepeng Wang , James Dong , Rushi Shah , Isil Dillig

We present a new method for scaling automatic configuration of computer networks. The key idea is to relax the computationally hard search problem of finding a configuration that satisfies a given specification into an approximate objective…

Networking and Internet Architecture · Computer Science 2022-11-04 Luca Beurer-Kellner , Martin Vechev , Laurent Vanbever , Petar Veličković

Software Defined Networking (SDN) is an emerging technology of efficiently controlling and managing computer networks, such as in data centres, Wide Area Networks (WANs), as well as in ubiquitous communication. In this paper, we explore the…

Networking and Internet Architecture · Computer Science 2020-12-15 Anees Al-Najjar , Furqan Hameed Khan , Marius Portmann

In network management, when it comes to security breaches, human error constitutes a dominant factor. We present our tool topoS which automatically synthesizes low-level network configurations from high-level security goals. The automation…

Networking and Internet Architecture · Computer Science 2016-04-04 Cornelius Diekmann , Andreas Korsten , Georg Carle

Scenarios, or Message Sequence Charts, offer an intuitive way of describing the desired behaviors of a distributed protocol. In this paper we propose a new way of specifying finite-state protocols using scenarios: we show that it is…

Formal Languages and Automata Theory · Computer Science 2014-03-03 Rajeev Alur , Milo Martin , Mukund Raghothaman , Christos Stergiou , Stavros Tripakis , Abhishek Udupa

View synthesis aims to produce unseen views from a set of views captured by two or more cameras at different positions. This task is non-trivial since it is hard to conduct pixel-level matching among different views. To address this issue,…

Computer Vision and Pattern Recognition · Computer Science 2021-01-27 Zhuoman Liu , Wei Jia , Ming Yang , Peiyao Luo , Yong Guo , Mingkui Tan

As the Software Defined Networking (SDN) paradigm gains momentum, every network operator faces the obvious dilemma: when and how to migrate from existing IP routers to SDN compliant equipments. A single step complete overhaul of a fully…

Networking and Internet Architecture · Computer Science 2013-10-02 Tamal Das , Marcel Caria , Admela Jukan , Marco Hoffmann

Software Defined Networking (SDN) not only enables agility through the realization of part of the network functionality in software but also facilitates offering advanced features at the network layer. Hence, SDN can support a wide range of…

Networking and Internet Architecture · Computer Science 2019-08-20 Mona Elsaadawy , Bettina Kemme , Mohamed Younis

Software-defined networking (SDN) has been widely utilized to enforce the security of traditional networks, thereby promoting the process of transforming traditional networks into SDN networks. However, SDN-based security enforcement…

Cryptography and Security · Computer Science 2023-01-11 Yunfei Meng , Changbo Ke , Zhiqiu Huang , Guohua Shen , Chunming Liu , Xiaojie Feng

Software Defined Networking (SDN) offers a flexible and scalable architecture that abstracts decision making away from individual devices and provides a programmable network platform. However, implementing a centralized SDN architecture…

Networking and Internet Architecture · Computer Science 2019-05-30 Michael Baddeley , Reza Nejabati , George Oikonomou , Mahesh Sooriyabandara , Dimitra Simeonidou

Software-Defined Networking (SDN) is an evolutionary networking paradigm which has been adopted by large network and cloud providers, among which are Tech Giants. However, embracing a new and futuristic paradigm as an alternative to…

Networking and Internet Architecture · Computer Science 2021-03-31 Sajad Khorsandroo , Adrian Gallego Sanchez , Ali Saman Tosun , Jose' Manuel Arco Rodriguez , Roberto Doriguzzi-Corin

The adoption of Software Defined Networking (SDN) within traditional networks has provided operators the ability to manage diverse resources and easily reconfigure networks as requirements change. Recent research has extended this concept…

Networking and Internet Architecture · Computer Science 2019-05-30 Michael Baddeley , Usman Raza , Aleksandar Stanoev , George Oikonomou , Reza Nejabati , Mahesh Sooriyabandara , Dimitra Simeonidou

Emerging software-defined networking technologies enable more adaptive communication infrastructures, allowing for quick reactions to changes in networking requirements by exploiting the workload's temporal structure. However, operating…

Networking and Internet Architecture · Computer Science 2022-11-08 Monika Henzinger , Ami Paz , Arash Pourdamghani , Stefan Schmid

Software Defined Networking (SDN) has emerged as a programmable approach for provisioning and managing network resources by defining a clear separation between the control and data forwarding planes. Nowadays SDN has gained significant…

Networking and Internet Architecture · Computer Science 2020-10-22 Redowan Mahmud , Adel N. Toosi , Maria Alejandra Rodriguez , Sharat Chandra Madanapalli , Vijay Sivaraman , Len Sciacca , Christos Sioutis , Rajkumar Buyya

Synthetic network traffic generation has emerged as a promising alternative for various data-driven applications in the networking domain. It enables the creation of synthetic data that preserves real-world characteristics while addressing…

Networking and Internet Architecture · Computer Science 2026-04-16 Nirhoshan Sivaroopan , Kaushitha Silva , Chamara Madarasingha , Thilini Dahanayaka , Guillaume Jourjon , Anura Jayasumana , Kanchana Thilakarathna

When managing wide-area networks, network architects must decide how to balance multiple conflicting metrics, and ensure fair allocations to competing traffic while prioritizing critical traffic. The state of practice poses challenges since…

Programming Languages · Computer Science 2022-07-05 Yanjun Wang , Zixuan Li , Chuan Jiang , Xiaokang Qiu , Sanjay G. Rao