English
Related papers

Related papers: Partially-Observable Security Games for Automating…

200 papers

The processing and storage of critical data in large-scale cloud networks necessitate the need for scalable security solutions. It has been shown that deploying all possible security measures incurs a cost on performance by using up…

Artificial Intelligence · Computer Science 2019-03-01 Ankur Chowdhary , Sailik Sengupta , Dijiang Huang , Subbarao Kambhampati

We propose interdependent defense (IDD) games, a computational game-theoretic framework to study aspects of the interdependence of risk and security in multi-agent systems under deliberate external attacks. Our model builds upon…

Computer Science and Game Theory · Computer Science 2012-10-19 Hau Chan , Michael Ceyko , Luis E. Ortiz

The state estimation of continuous-time nonlinear systems in which a subset of sensor outputs can be maliciously controlled through injecting a potentially unbounded additive signal is considered in this paper. Analogous to our earlier work…

Optimization and Control · Mathematics 2020-08-31 Michelle S. Chong , Henrik Sandberg , Joao P. Hespanha

Motivated by safety-critical classification problems, we investigate adversarial attacks against cost-sensitive classifiers. We use current state-of-the-art adversarially-resistant neural network classifiers [1] as the underlying models.…

Machine Learning · Statistics 2019-10-08 Gavin S. Hartnett , Andrew J. Lohn , Alexander P. Sedlack

This study provides a new understanding of the adversarial attack problem by examining the correlation between adversarial attack and visual attention change. In particular, we observed that: (1) images with incomplete attention regions are…

Computer Vision and Pattern Recognition · Computer Science 2023-01-02 Shangxi Wu , Jitao Sang , Kaiyuan Xu , Jiaming Zhang , Jian Yu

Recent latent-space monitoring techniques have shown promise as defenses against LLM attacks. These defenses act as scanners that seek to detect harmful activations before they lead to undesirable actions. This prompts the question: Can…

This paper provides an efficient computational scheme to handle general security games from an adversarial risk analysis perspective. Two cases in relation to single-stage and multi-stage simultaneous defend-attack games motivate our…

Computer Science and Game Theory · Computer Science 2025-06-04 Jose Manuel Camacho , Roi Naveiro , David Rios Insua

This work initiates an analysis of several cryptographic protocols from a rational point of view using a game-theoretical approach, which allows us to represent not only the protocols but also possible misbehaviours of parties. Concretely,…

Cryptography and Security · Computer Science 2015-03-17 P. Caballero-Gil , C. Hernández-Goya , C. Bruno-Castañeda

Deception plays a critical role in the financial industry, online markets, national defense, and countless other areas. Understanding and harnessing deception - especially in cyberspace - is both crucial and difficult. Recent work in this…

Cryptography and Security · Computer Science 2015-06-23 Jeffrey Pawlick , Quanyan Zhu

Games of timing aim to determine the optimal defense against a strategic attacker who has the technical capability to breach a system in a stealthy fashion. Key questions arising are when the attack takes place, and when a defensive move…

Cryptography and Security · Computer Science 2017-06-08 Sadegh Farhang , Jens Grossklags

We develop and study new adversarial perturbations that enable an attacker to gain control over decisions in generic Artificial Intelligence (AI) systems including deep learning neural networks. In contrast to adversarial data modification,…

Cryptography and Security · Computer Science 2023-12-07 Ivan Y. Tyukin , Desmond J. Higham , Alexander Bastounis , Eliyas Woldegeorgis , Alexander N. Gorban

Attacks, including the manipulation of sensor readings and the modification of actuator commands, pose a significant challenge to the security and privacy of automated systems. This paper considers discrete event systems that can be modeled…

Formal Languages and Automata Theory · Computer Science 2025-10-28 Xiaoyan Li , Christoforos N. Hadjicostis

Penetration Testing is a methodology for assessing network security, by generating and executing possible attacks. Doing so automatically allows for regular and systematic testing. A key question then is how to automatically generate the…

Artificial Intelligence · Computer Science 2013-07-31 Carlos Sarraute

It has been demonstrated that adversarial graphs, i.e., graphs with imperceptible perturbations, can cause deep graph models to fail on classification tasks. In this work, we extend the concept of adversarial graphs to the community…

Machine Learning · Computer Science 2025-12-15 Yifan Niu , Aochuan Chen , Tingyang Xu , Jia Li

This paper studies remote state estimation under denial-of-service (DoS) attacks. A sensor transmits its local estimate of an underlying physical process to a remote estimator via a wireless communication channel. A DoS attacker is capable…

Systems and Control · Computer Science 2017-06-01 Kemi Ding , Subhrakanti Dey , Daniel E. Quevedo , Ling Shi

Data exfiltration is a growing problem for business who face costs related to the loss of confidential data as well as potential extortion. This work presents a simple game theoretic model of network data exfiltration. In the model, the…

Cryptography and Security · Computer Science 2025-09-09 Tristan Caulfield

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

Game theory has been applied to investigate network security. But different security scenarios were often modeled via different types of games and analyzed in an ad-hoc manner. In this paper, we propose an algebraic approach for modeling…

Cryptography and Security · Computer Science 2016-06-16 Qian Zhang , Ying Jiang , Peng Wu

Evidence on the effectiveness of Man-At-The-End (MATE) software protections, such as code obfuscation, has mainly come from limited empirical research. Recently, however, an automatable method was proposed to obtain statistical models of…

Cryptography and Security · Computer Science 2026-05-18 Alessandro Sanna , Waldo Verstraete , Leonardo Regano , Davide Maiorca , Bjorn De Sutter

In this paper, we establish a zero-sum, hybrid state stochastic game model for designing defense policies for cyber-physical systems against different types of attacks. With the increasingly integrated properties of cyber-physical systems…

Computer Science and Game Theory · Computer Science 2017-10-03 Fei Miao , Quanyan Zhu , Miroslav Pajic , George J. Pappas