English
Related papers

Related papers: On Defendability of Security Properties

200 papers

This paper studies the global Nash equilibrium problem of leader-follower multi-agent dynamics, which yields consensus with a privacy information encrypted learning algorithm. With the secure hierarchical structure, the relationship between…

Systems and Control · Electrical Eng. & Systems 2023-02-08 Kun Zhang , Ji-Feng Zhang , Rong Su , Huaguang Zhang

Given a bimatrix game, the associated leadership or commitment games are defined as the games at which one player, the leader, commits to a (possibly mixed) strategy and the other player, the follower, chooses his strategy after having…

Computer Science and Game Theory · Computer Science 2016-12-30 Stefanos Leonardos , Costis Melolidakis

Security attacks present unique challenges to self-adaptive system design due to the adversarial nature of the environment. However, modeling the system as a single player, as done in prior works in security domain, is insufficient for the…

Artificial Intelligence · Computer Science 2021-03-17 Mingyue Zhang

Algorithms for computing game-theoretic solutions have recently been applied to a number of security domains. However, many of the techniques developed for compact representations of security games do not extend to {\em Bayesian} security…

Computer Science and Game Theory · Computer Science 2016-04-19 Yuqian Li , Vincent Conitzer , Dmytro Korzhyk

Game-theoretic techniques and equilibria analysis facilitate the design and verification of competitive systems. While algorithmic complexity of equilibria computation has been extensively studied, practical implementation and application…

Computer Science and Game Theory · Computer Science 2022-02-02 Marta Kwiatkowska , Gethin Norman , David Parker , Gabriel Santos

We introduce deceptive signaling framework as a new defense measure against advanced adversaries in cyber-physical systems. In general, adversaries look for system-related information, e.g., the underlying state of the system, in order to…

Cryptography and Security · Computer Science 2019-02-05 Muhammed O. Sayin , Tamer Basar

We introduce a two-player contest for evaluating the safety and robustness of machine learning systems, with a large prize pool. Unlike most prior work in ML robustness, which studies norm-constrained adversaries, we shift our focus to…

Machine Learning · Statistics 2018-09-25 Tom B. Brown , Nicholas Carlini , Chiyuan Zhang , Catherine Olsson , Paul Christiano , Ian Goodfellow

A recent body of experimental literature has studied empirical game-theoretical analysis, in which we have partial knowledge of a game, consisting of observations of a subset of the pure-strategy profiles and their associated payoffs to…

Computer Science and Game Theory · Computer Science 2014-02-13 John Fearnley , Martin Gairing , Paul Goldberg , Rahul Savani

This paper introduces a structural game-theoretic model to value decentralized digital assets like Bitcoin. Instead of relying on speculative beliefs, it frames the asset's price within a Rational-Expectations Security-Utility Nash…

Cryptography and Security · Computer Science 2025-08-12 Liang Chen

The recently defined class of integer programming games (IPG) models situations where multiple self-interested decision makers interact, with their strategy sets represented by a finite set of linear constraints together with integer…

Computer Science and Game Theory · Computer Science 2023-04-25 Margarida Carvalho , Andrea Lodi , João Pedro Pedroso

An analysis of several important aspects of competition or conflict in games, social choice and decision theory is presented. Inherent difficulties and complexities in cooperation are highlighted. These have over the years led to a certain…

Optimization and Control · Mathematics 2007-05-23 Elemér E Rosinger

Security properties are often focused on the technological side of the system. One implicitly assumes that the users will behave in the right way to preserve the property at hand. In real life, this cannot be taken for granted. In…

Multiagent Systems · Computer Science 2023-10-19 Wojciech Jamroga , Damian Kurpiewski , Vadim Malvone

Real-world attacks can be interpreted as the result of competitive interactions between networks, ranging from predator-prey networks to networks of countries under economic sanctions. Although the purpose of an attack is to damage a target…

Social and Information Networks · Computer Science 2015-10-22 Boris Podobnik , Davor Horvatic , Tomislav Lipic , Matjaz Perc , Javier M. Buldu , H. Eugene Stanley

Network games provide a powerful framework for modeling agent interactions in networked systems, where players are represented by nodes in a graph and their payoffs depend on the actions taken by their neighbors. Extending the framework of…

Optimization and Control · Mathematics 2025-12-17 Constantin Ickstadt , Thorsten Theobald , Elias Tsigaridas , Antonios Varvitsiotis

We study the existence and computation of Nash equilibria in concave games where the players' admissible strategies are subject to shared coupling constraints. Under playerwise concavity of constraints, we prove existence of Nash…

Computer Science and Game Theory · Computer Science 2026-02-09 Philip Jordan , Maryam Kamgarpour

An active line of research has considered games played on networks in which payoffs depend on both a player's individual decision and also the decisions of her neighbors. Such games have been used to model issues including the formation of…

Computer Science and Game Theory · Computer Science 2013-05-01 Flavio Chierichetti , Jon Kleinberg , Sigal Oren

We discuss the long-run behavior of stochastic dynamics of many interacting players in spatial evolutionary games. In particular, we investigate the effect of the number of players and the noise level on the stochastic stability of Nash…

Statistical Mechanics · Physics 2009-11-07 Jacek Miekisz

We analyse Ping-Pong protocol from the point of view of a game. The analysis helps us in understanding the different strategies of a sender and an eavesdropper to gain the maximum payoff in the game. The study presented here characterizes…

Quantum Physics · Physics 2018-07-16 Hargeet Kaur , Atul Kumar

In a network game, players interact over a network and the utility of each player depends on his own action and on an aggregate of his neighbours' actions. Many real world networks of interest are asymmetric and involve a large number of…

Computer Science and Game Theory · Computer Science 2025-08-12 Kiran Rokade , Adit Jain , Francesca Parise , Vikram Krishnamurthy , Eva Tardos

Individuals, or organizations, cooperate with or compete against one another in a wide range of practical situations. Such strategic interactions are often modeled as games played on networks, where an individual's payoff depends not only…

Computer Science and Game Theory · Computer Science 2020-09-22 Yan Leng , Xiaowen Dong , Junfeng Wu , Alex Pentland