English
Related papers

Related papers: Explaining Safety Failures in NetKAT

200 papers

The rapid expansion of AI-driven applications powered by large language models has led to a surge in AI interaction data, raising urgent challenges in security, accountability, and risk traceability. This paper presents AiAuditTrack (AAT),…

Artificial Intelligence · Computer Science 2025-12-25 Zixun Luo , Yuhang Fan , Yufei Li , Youzhi Zhang , Hengyu Lin , Ziqi Wang

Detecting misbehavior (such as transmissions of false information) in vehicular ad hoc networks (VANETs) is very important problem with wide range of implications including safety related and congestion avoidance applications. We discuss…

Networking and Internet Architecture · Computer Science 2015-03-19 Sushmita Ruj , Marcos Antonio Cavenaghi , Zhen Huang , Amiya Nayak , Ivan Stojmenovic

Intrusion Detection System or IDS is a software or hardware tool that repeatedly scans and monitors events that took place in a computer or a network. A set of rules are used by Signature based Network Intrusion Detection Systems or NIDS to…

Cryptography and Security · Computer Science 2014-11-26 Laxmi Lahoti , Chaitali Chandankhede , Debajyoti Mukhopadhyay

Software Defined Wide Area Network (SD-WAN or SDWAN) is a modern conception and an attractive trend in network technologies. SD-WAN is defined as a specific application of software-defined networking (SDN) to WAN connections. There is…

Cryptography and Security · Computer Science 2018-11-13 Sergey Gordeychik , Denis Kolegov

Trillions of network packets are sent over the Internet to destinations which do not exist. This 'darknet' traffic captures the activity of botnets and other malicious campaigns aiming to discover and compromise devices around the world. In…

Cryptography and Security · Computer Science 2020-03-06 Dvir Cohen , Yisroel Mirsky , Yuval Elovici , Rami Puzis , Manuel Kamp , Tobias Martin , Asaf Shabtai

Centralized Software-Defined Networking (cSDN) offers flexible and programmable control of networks but suffers from scalability and reliability issues due to its reliance on centralized controllers. Decentralized SDN (dSDN) alleviates…

Cryptography and Security · Computer Science 2025-11-04 Mohammed N. Swileh , Shengli Zhang

Software-Defined Networking (SDN) introduces a centralized network control and management by separating the data plane from the control plane which facilitates traffic flow monitoring, security analysis and policy formulation. However, it…

Networking and Internet Architecture · Computer Science 2019-09-05 Trung V. Phan , Syed Tasnimul Islam , Tri Gia Nguyen , Thomas Bauschert

Software-Defined Networking (SDN) is an emerging paradigm, which evolved in recent years to address the weaknesses in traditional networks. The significant feature of the SDN, which is achieved by disassociating the control plane from the…

Cryptography and Security · Computer Science 2020-06-26 Mahmoud Said Elsayed , Nhien-An Le-Khac , Soumyabrata Dev , Anca Delia Jurcut

MANET is an infrastructure less as well as self configuring network consisting of mobile nodes communicating with each other using radio medium. Its exclusive properties such as dynamic topology, decentralization, and wireless medium make…

Networking and Internet Architecture · Computer Science 2020-04-15 Priya R. Soni , Charmi A. Joshi , Dhwani R. Bhadra , Nikita P. Vyas , Rutvij H. Jhaveri

The ability to centrally control network infrastructure using a programmable middleware has made Software-Defined Networking (SDN) ideal for emerging applications, such as immersive environments. However, such flexibility introduces new…

Networking and Internet Architecture · Computer Science 2025-09-23 Sourya Saha , Md Nurul Absur , Shima Yousefi , Saptarshi Debroy

There is a wide range of topologies to use in simulation that can make research divergency; therefore, we propose a topology set that can be used in research of network behaviour in Software Defined Network (SDN). This paper can unite the…

Networking and Internet Architecture · Computer Science 2021-07-08 Alireza Shirmarz

In this paper, we mainly investigate an integrated system operating under a software defined network (SDN) protocol. SDN is a new networking paradigm in which network intelligence is centrally administered and data is communicated via…

Optimization and Control · Mathematics 2018-12-04 Cheng Tan , Wing Shing Wong , Huanshui Zhang

MANET is a kind of Ad hoc network with mobile, wireless nodes. Because of its special characteristics like dynamic topology, hop-by-hop communications and easy and quick setup, MANET faced lots of challenges allegorically routing, security…

Networking and Internet Architecture · Computer Science 2015-03-12 Ali Dorri , Seyed Reza Kamel , Esmaeil Kheirkhah

Recent advances in Deep Machine Learning have shown promise in solving complex perception and control loops via methods such as reinforcement and imitation learning. However, guaranteeing safety for such learned deep policies has been a…

Robotics · Computer Science 2020-03-03 Tom Hirshberg , Sai Vemprala , Ashish Kapoor

A Network Intrusion Detection System (NIDS) is a tool that identifies potential threats to a network. Recently, different flow-based NIDS designs utilizing Machine Learning (ML) algorithms have been proposed as solutions to detect…

Cryptography and Security · Computer Science 2023-10-27 Loc Gia Nguyen , Kohei Watabe

We model Semantic Self-Verification (SSV) as the problem of determining whether a statement accurately characterizes its own semantic properties within a given interpretive framework that formalizes a challenge in AI safety and fairness:…

Computation and Language · Computer Science 2026-03-31 Robin Young

Software-defined networking (SDN) eases network management by centralizing the control plane and separating it from the data plane. The separation of planes in SDN, however, introduces new vulnerabilities in SDN networks since the…

Cryptography and Security · Computer Science 2015-12-22 Heng Cui , Ghassan O. Karame , Felix Klaedtke , Roberto Bifulco

New research focuses on creating artificial intelligence (AI) solutions for network intrusion detection systems (NIDS), drawing its inspiration from the ever-growing number of intrusions on networked systems, increasing its complexity and…

Cryptography and Security · Computer Science 2025-01-15 Osvaldo Arreche , Mustafa Abdallah

Operators perceive programmable networks brought by Software Defined Networks (SDN) as cornerstone to decrease the time to deploy new services, to augment the flexibility and to adapt network resources to customer needs at runtime. However,…

Networking and Internet Architecture · Computer Science 2015-07-13 José Sánchez , Imen Grida Ben Yahia , Noël Crespi

A backdoor deep learning (DL) model behaves normally upon clean inputs but misbehaves upon trigger inputs as the backdoor attacker desires, posing severe consequences to DL model deployments. State-of-the-art defenses are either limited to…

Cryptography and Security · Computer Science 2021-11-23 Yinshan Li , Hua Ma , Zhi Zhang , Yansong Gao , Alsharif Abuadbba , Anmin Fu , Yifeng Zheng , Said F. Al-Sarawi , Derek Abbott