English
Related papers

Related papers: On Defendability of Security Properties

200 papers

We consider scenarios where a worker robot, who may be unaware of the human's exact expectations, may have the incentive to deviate from a preferred plan (e.g. safe but costly) when a human supervisor is not monitoring it. On the other…

Artificial Intelligence · Computer Science 2022-04-13 Zahra Zahedi , Sailik Sengupta , Subbarao Kambhampati

The Ultimatum Game is conventionally formulated in the context of two players. Nonetheless, real-life scenarios often entail community interactions among numerous individuals. To address this, we introduce an extended version of the…

Optimization and Control · Mathematics 2024-08-06 Hana Krakovská , Rudolf Hanel , Mark Broom

A fair gambling is hard to be made between two spatially separated parties without introducing a trusted third party. Here we propose a novel gambling protocol, which enables fair gambling between two distant parties without the help of a…

The purpose of a consensus protocol is to keep a distributed network of nodes "in sync," even in the presence of an unpredictable communication network and adversarial behavior by some of the participating nodes. In the permissionless…

Distributed, Parallel, and Cluster Computing · Computer Science 2024-06-25 Eric Budish , Andrew Lewis-Pye , Tim Roughgarden

We study decentralized protection strategies against Susceptible-Infected-Susceptible (SIS) epidemics on networks. We consider a population game framework where nodes choose whether or not to vaccinate themselves, and the epidemic risk is…

Computer Science and Game Theory · Computer Science 2019-03-05 Ashish R. Hota , Shreyas Sundaram

In socio-technical multi-agent systems, deception exploits privileged information to induce false beliefs in "victims," keeping them oblivious and leading to outcomes detrimental to them or advantageous to the deceiver. We consider…

Systems and Control · Electrical Eng. & Systems 2025-07-08 Michael Tang , Umar Javed , Xudong Chen , Miroslav Krstic , Jorge I. Poveda

We introduce a way to compare actions in decision problems. One action is safer than another if the set of beliefs at which the decision-maker prefers the safer action expands as the decision-maker becomes more risk averse. We provide a…

Theoretical Economics · Economics 2026-02-19 Marilyn Pease , Mark Whitmeyer

Security games are an example of a successful real-world application of game theory. The paper defines blameworthiness of the defender and the attacker in security games using the principle of alternative possibilities and provides a sound…

Artificial Intelligence · Computer Science 2019-11-13 Pavel Naumov , Jia Tao

We apply control theoretic and optimization techniques to adaptively design incentives. In particular, we consider the problem of a planner with an objective that depends on data from strategic decision makers. The planner does not know the…

Computer Science and Game Theory · Computer Science 2018-06-18 Lillian J. Ratliff , Tanner Fiez

We investigate the sensitivity of the Nash equilibrium of constrained network aggregative games to changes in exogenous parameters affecting the cost function of the players. This setting is motivated by two applications. The first is the…

Computer Science and Game Theory · Computer Science 2017-06-28 Francesca Parise , Asuman Ozdaglar

We consider the problem of a game theorist analyzing a game that uses cryptographic protocols. Ideally, a theorist abstracts protocols as ideal, implementation-independent primitives, letting conclusions in the "ideal world" carry over to…

Computer Science and Game Theory · Computer Science 2025-06-30 Alexandros Psomas , Athina Terzoglou , Yu Wei , Vassilis Zikas

The conditional commitment abilities of mutually transparent computer agents have been studied in previous work on commitment games and program equilibrium. This literature has shown how these abilities can help resolve Prisoner's Dilemmas…

Computer Science and Game Theory · Computer Science 2022-12-06 Anthony DiGiovanni , Jesse Clifton

We consider the problem of designing distribution rules to share "welfare" (cost or revenue) among individually strategic agents. There are many known distribution rules that guarantee the existence of a (pure) Nash equilibrium in this…

Computer Science and Game Theory · Computer Science 2014-02-18 Ragavendran Gopalakrishnan , Jason R. Marden , Adam Wierman

Nash equilibrium is used as a model to explain the observed behavior of players in strategic settings. For example, in many empirical applications we observe player behavior, and the problem is to determine if there exist payoffs for the…

Computer Science and Game Theory · Computer Science 2014-09-30 Siddharth Barman , Umang Bhaskar , Federico Echenique , Adam Wierman

Malicious softwares or malwares for short have become a major security threat. While originating in criminal behavior, their impact are also influenced by the decisions of legitimate end users. Getting agents in the Internet, and in…

Computer Science and Game Theory · Computer Science 2016-11-15 Marc Lelarge

We study Nash-dynamics in the context of blockchain protocols. We introduce a formal model, within which one can assess whether the Nash dynamics can lead utility-maximizing participants to defect from the "honest" protocol operation,…

Cryptography and Security · Computer Science 2022-03-24 Dimitris Karakostas , Aggelos Kiayias , Thomas Zacharias

The privacy of machine learning models has become a significant concern in many emerging Machine-Learning-as-a-Service applications, where prediction services based on well-trained models are offered to users via pay-per-query. The lack of…

Machine Learning · Computer Science 2022-06-24 Xun Xian , Mingyi Hong , Jie Ding

This chapter will first present a principal-agent game-theoretic model to capture the interactions between one insurer and one user. The insurer is deemed as the principal who does not have incomplete information about user's security…

Computers and Society · Computer Science 2020-01-01 Quanyan Zhu

This paper studies the sensor placement problem in a networked control system for improving its security against cyber-physical attacks. The problem is formulated as a zero-sum game between an attacker and a detector. The attacker's…

Optimization and Control · Mathematics 2018-09-25 Mohammad Pirani , Ehsan Nekouei , Henrik Sandberg , Karl Henrik Johansson

Adversarial training aims to defend against adversaries: malicious opponents whose sole aim is to harm predictive performance in any way possible. This presents a rather harsh perspective, which we assert results in unnecessarily…

Machine Learning · Computer Science 2025-06-10 Maayan Ehrenberg , Roy Ganz , Nir Rosenfeld