English
Related papers

Related papers: Maude-HCS: Model Checking the Undetectability-Perf…

200 papers

The paper presents StegBlocks, which defines a new concept for performing undetectable hidden communication. StegBlocks is a general approach for constructing methods of network steganography. In StegBlocks, one has to determine objects…

Multimedia · Computer Science 2015-06-09 Wojciech Fraczek , Krzysztof Szczypiorski

Opacity and attack detectability are important properties for any system as they allow the states to remain private and malicious attacks to be detected, respectively. In this paper, we show that a fundamental trade-off exists between these…

Systems and Control · Electrical Eng. & Systems 2022-06-14 Varkey M. John , Vaibhav Katewa

Malicious communication behavior is the network communication behavior generated by malware (bot-net, spyware, etc.) after victim devices are infected. Experienced adversaries often hide malicious information in HTTP traffic to evade…

Cryptography and Security · Computer Science 2023-09-08 Xiaochun Yun , Jiang Xie , Shuhao Li , Yongzheng Zhang , Peishuai Sun

In this paper, we develop a new methodology to provide high assurance about privacy in Cooperative Intelligent Transport Systems (C-ITS). Our focus lies on vehicle-to-everything (V2X) communications enabled by Cooperative Awareness Basic…

Cryptography and Security · Computer Science 2023-01-11 Yevhen Zolotavkin , Yurii Baryshev , Vitalii Lukichov , Jannik Mähn , Stefan Köpsell

This document describes a best-effort delay-tolerant communication system that protects the privacy of users in wireless ad-hoc networks by making their communication undetectable. The proposed system is a wireless broadcast-based…

Cryptography and Security · Computer Science 2015-07-31 Ana Barroso

Traffic analysis attacks can counteract end-to-end encryption and use leaked communication metadata to reveal information about communicating parties. With an ever-increasing amount of traffic by an ever-increasing number of networked…

Cryptography and Security · Computer Science 2023-03-02 Mohsen Shirali , Tobias Tefke , Ralf C. Staudemeyer , Henrich C. Poehls

This paper develops Bayesian track extraction algorithms for targets modelled as hidden reciprocal chains (HRC). HRC are a class of finite-state random process models that generalise the familiar hidden Markov chains (HMC). HRC are able to…

Computer Vision and Pattern Recognition · Computer Science 2016-05-16 George Stamatescu , Langford B White , Riley Bruce-Doust

Sensing privacy and communication confidentiality play fundamentally different but interconnected roles in adversarial wireless environments. Capturing this interplay within a single physical-layer framework is particularly challenging in…

Information Theory · Computer Science 2026-05-11 Sidong Guo , Matthieu R. Bloch

Adversarial environments require agents to navigate a key strategic trade-off: acquiring information enhances situational awareness, but may simultaneously expose them to threats. To investigate this tension, we formulate a…

Artificial Intelligence · Computer Science 2025-10-10 Valerio La Gatta , Dolev Mutzari , Sarit Kraus , VS Subrahmanian

With the emergence of time-critical applications in modern communication networks, there is a growing demand for proactive network adaptation and quality of service (QoS) prediction. However, a fundamental question remains largely…

Networking and Internet Architecture · Computer Science 2025-04-28 Samie Mostafavi , Simon Egger , György Dán , James Gross

Consider a stochastic process being controlled across a communication channel. The control signal that is transmitted across the control channel can be replaced by a malicious attacker. The controller is allowed to implement any arbitrary…

Optimization and Control · Mathematics 2017-04-05 Cheng-Zong Bai , Fabio Pasqualetti , Vijay Gupta

Integrating sensing functionalities is envisioned as a distinguishing feature of next-generation mobile networks, which has given rise to the development of a novel enabling technology -- \emph{Integrated Sensing and Communication (ISAC)}.…

Information Theory · Computer Science 2023-05-05 Jiancheng An , Hongbin Li , Derrick Wing Kwan Ng , Chau Yuen

Hidden Markov Chains (HMCs) are commonly used mathematical models of probabilistic systems. They are employed in various fields such as speech recognition, signal processing, and biological sequence analysis. We consider the problem of…

Data Structures and Algorithms · Computer Science 2016-05-10 Stefan Kiefer , A. Prasad Sistla

This paper quantifies the security of uncertain interconnected systems under stealthy data injection attacks. In particular, we consider a large-scale system composed of a certain subsystem interconnected with an uncertain subsystem, where…

Systems and Control · Electrical Eng. & Systems 2025-12-03 Anh Tung Nguyen , Sribalaji C. Anand , André M. H. Teixeira

Secure communication is essential in covert and safety-critical settings where verbal interactions may expose user intent or operational context. Wearable gesture-based communication enables low-effort, nonverbal interaction, but existing…

Cryptography and Security · Computer Science 2026-02-10 Tasnia Ashrafi Heya , Sayed Erfan Arefin

In this letter, we analyze the performance trade-off in distributed integrated sensing and communication (ISAC) networks. Specifically, with the aid of stochastic geometry theory, we derive the probability of detection of that of the…

Information Theory · Computer Science 2024-10-15 Xuran Li , Shuaishuai Guo , Tuo Li , Xiaofeng Zou , Dengwang Li

Covert communication offers a method to transmit messages in such a way that it is not possible to detect that the communication is happening at all. In this work, we report an experimental demonstration of covert communication that is…

The increasing complexity of urban environments introduces additional uncertainty to the deployment of the autonomous vehicular network. A novel road infrastructure cooperative detection model using Joint Communication and Sensing (JCS)…

Signal Processing · Electrical Eng. & Systems 2022-11-24 Hao Ma , Zhiqing Wei , Zening Li , Fan Ning , Xu Chen , Zhiyong Feng

A network of unmanned aerial vehicles (UAVs) provides distributed coverage, reconfigurability, and maneuverability in performing complex cooperative tasks. However, it relies on wireless communications that can be susceptible to cyber…

Systems and Control · Electrical Eng. & Systems 2023-10-27 Rayan Bahrami , Hamidreza Jafarnejadsani

A Covert Channel (CC) exploits legitimate communication mechanisms to stealthily transmit information, often bypassing traditional security controls. Among these, a novel paradigm called History Covert Channels (HCC) leverages past network…

Cryptography and Security · Computer Science 2026-03-03 Christoph Weissenborn , Steffen Wendzel
‹ Prev 1 2 3 10 Next ›