Automation for network security configuration: State of the art and research Trends
The size and complexity of modern computer networks are progressively increasing, as a
consequence of novel architectural paradigms such as the Internet of Things and network …
consequence of novel architectural paradigms such as the Internet of Things and network …
Safely and automatically updating in-network acl configurations with intent language
In-network Access Control List (ACL) is an important technique in ensuring network-wide
connectivity and security. As cloud-scale WANs today constantly evolve in size and …
connectivity and security. As cloud-scale WANs today constantly evolve in size and …
Switch code generation using program synthesis
Writing packet-processing programs for programmable switch pipelines is challenging
because of their all-or-nothing nature: a program either runs at line rate if it can fit within …
because of their all-or-nothing nature: a program either runs at line rate if it can fit within …
Learning to configure computer networks with neural algorithmic reasoning
L Beurer-Kellner, M Vechev… - Advances in Neural …, 2022 - proceedings.neurips.cc
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 …
idea is to relax the computationally hard search problem of finding a configuration that …
Large language model (llm) for telecommunications: A comprehensive survey on principles, key techniques, and opportunities
Large language models (LLMs) have received considerable attention recently due to their
outstanding comprehension and reasoning capabilities, leading to great progress in many …
outstanding comprehension and reasoning capabilities, leading to great progress in many …
[HTML][HTML] A novel abstraction for security configuration in virtual networks
The incessant growth of network virtualization determined the proliferation of Virtual Network
Functions (VNFs), software programs that can run on general-purpose servers and that can …
Functions (VNFs), software programs that can run on general-purpose servers and that can …
Tiramisu: Fast multilayer network verification
A Abhashkumar, A Gember-Jacobson… - 17th USENIX Symposium …, 2020 - usenix.org
Today's distributed network control planes are highly sophisticated, with multiple interacting
protocols operating at layers 2 and 3. The complexity makes network configurations highly …
protocols operating at layers 2 and 3. The complexity makes network configurations highly …
{Config2Spec}: Mining network specifications from network configurations
Network verification and configuration synthesis are promising approaches to make
networks more reliable and secure by enforcing a set of policies. However, these …
networks more reliable and secure by enforcing a set of policies. However, these …
Auric: using data-driven recommendation to automatically generate cellular configuration
Cellular service providers add carriers in the network in order to support the increasing
demand in voice and data traffic and provide good quality of service to the users. Addition of …
demand in voice and data traffic and provide good quality of service to the users. Addition of …
Neural language models for network configuration: Opportunities and reality check
ZB Houidi, D Rossi - Computer Communications, 2022 - Elsevier
Boosted by deep learning, natural language processing (NLP) techniques have recently
seen spectacular progress, mainly fueled by breakthroughs both in representation learning …
seen spectacular progress, mainly fueled by breakthroughs both in representation learning …