English
Related papers

Related papers: Non-additive Security Games

200 papers

Coalitional games serve the purpose of modeling payoff distribution problems in scenarios where agents can collaborate by forming coalitions in order to obtain higher worths than by acting in isolation. In the classical Transferable Utility…

Computer Science and Game Theory · Computer Science 2014-01-17 Gianluigi Greco , Enrico Malizia , Luigi Palopoli , Francesco Scarcello

This paper analyses the security contribution of typical functional-language features by examining them in the light of accepted information security principles. Imperative and functional code are compared to illustrate various cases. In…

Cryptography and Security · Computer Science 2012-01-30 Yusuf Moosa Motara

Our aim is to give for some classes non-additive measures some limit theorems. For balanced games we obtain a weak and strong law of large numbers for bounded random variables, a sharper conclusion is obtain with exact games. We provide an…

Probability · Mathematics 2009-06-02 Yann Rebille

Adding game elements to higher education is an increasingly common practice. As a result, many recent empirical studies focus on studying the effectiveness of gamified or game-based educational experiences. The findings of these studies are…

Computers and Society · Computer Science 2024-07-08 Giulio Barbero , Marcello M. Bonsangue , Felienne F. J. Hermans

We investigate the Sprague-Grundy sequences for two normal-play impartial games based on arithmetic functions, first described by Iannucci and Larsson in \cite{sum}. In each game, the set of positions is N (natural numbers). In saliquant,…

Number Theory · Mathematics 2023-09-06 Paul Ellis , Jason Shi , Thotsaporn Aek Thanatipanonda , Andrew Tu

Abuse of zero-permission sensors on-board mobile and wearable devices to infer users' personal context and information is a well-known privacy threat that has received significant attention. Efforts towards protection mechanisms that…

Computer Science and Game Theory · Computer Science 2019-05-01 Kavita Kumari , Murtuza Jadliwala , Anindya Maiti , Mohammad Hossein Manshaei

Our paper explores the game theoretic value of the 7-in-a-row game. We reduce the problem to solving a finite board game, which we target using Proof Number Search. We present a number of heuristic improvements to Proof Number Search and…

Artificial Intelligence · Computer Science 2021-07-13 Domonkos Czifra , Endre Csóka , Zsolt Zombori , Géza Makay

We study the performance of Fictitious Play, when used as a heuristic for finding an approximate Nash equilibrium of a 2-player game. We exhibit a class of 2-player games having payoffs in the range [0,1] that show that Fictitious Play…

Computer Science and Game Theory · Computer Science 2011-03-22 Paul W. Goldberg , Rahul Savani , Troels Bjerre Sorensen , Carmine Ventre

Browser Extensions (often called plugins or addons) are small pieces of code that let developers add additional functionality to the browser. However, with extensions comes a security price: the user must trust the developer. We look at…

Cryptography and Security · Computer Science 2014-03-14 Abhay Rana , Rushil Nagda

We transform a Muller game with n vertices into a safety game with (n!)^3 vertices whose solution allows to determine the winning regions of the Muller game and to compute a finite-state winning strategy for one player. This yields a novel…

Logic in Computer Science · Computer Science 2012-10-10 Daniel Neider , Roman Rabinovich , Martin Zimmermann

Game theory has been applied in many fields of study, especially economics and political science. Arce M. and Sandler (2005) analyzed counter-terrorism using non-cooperative game theory (the players are, for example, the US and the EU),…

Optimization and Control · Mathematics 2021-01-05 Sung Chan Choi

Dynamic noncooperative game theory is a field of mathematics and economics in which a lot of research is being carried out at present featuring a great number of applications in many different areas of economics and management science like…

Optimization and Control · Mathematics 2014-09-19 Philipp Hungerländer

Cooperative games can be distinguished as non-cooperative games in which players can freely sign binding agreements to form coalitions. These coalitions inherit a joint strategy set and seek to maximize collective payoffs. When the payoffs…

Theoretical Economics · Economics 2024-04-16 Justin Chan

This article introduces differential hybrid games, which combine differential games with hybrid games. In both kinds of games, two players interact with continuous dynamics. The difference is that hybrid games also provide all the features…

Logic in Computer Science · Computer Science 2017-08-17 André Platzer

We study the security of interaction protocols when incentives of participants are taken into account. We begin by formally defining correctness of a protocol, given a notion of rationality and utilities of participating agents. Based on…

Cryptography and Security · Computer Science 2014-04-04 Wojciech Jamroga , Matthijs Melissen , Henning Schnoor

As the complexity and scope of games increase, game testing, also called playtesting, becomes an essential activity to ensure the quality of video games. Yet, the manual, ad-hoc nature of game testing leaves space for automation. In this…

Software Engineering · Computer Science 2023-04-19 Cristiano Politowski , Fabio Petrillo , Ghizlane ElBoussaidi , Gabriel C. Ullmann , Yann-Gaël Guéhéneuc

In this note, we prove the existence of an equilibrium concept, dubbed conditional strategy equilibrium, for non-cooperative games in which a strategy of a player is a function from the other players' actions to her own actions. We study…

Theoretical Economics · Economics 2022-05-09 Lorenzo Bastianello , Mehmet S. Ismail

We introduce operational semantics into games. And based on the operational semantics, we establish a full algebra of games, including basic algebra of games, algebra of concurrent games, recursion and abstraction. The algebra can be used…

Logic in Computer Science · Computer Science 2019-09-04 Yong Wang

This work is intended for researchers in the field of side-channel attacks, countermeasure analysis, and probing security. It reports on a formalization of simulatability in terms of categorical properties, which we think will provide a…

Cryptography and Security · Computer Science 2023-03-02 Vittorio Zaccaria

Traditionally social sciences are interested in structuring people in multiple groups based on their individual preferences. This pa- per suggests an approach to this problem in the framework of a non- cooperative game theory. Definition of…

Optimization and Control · Mathematics 2017-05-02 Dmitry Levando