English
Related papers

Related papers: Sequential Rationality in Cryptographic Protocols

200 papers

This paper considers the privacy-preserving Nash equilibrium seeking strategy design for a class of networked aggregative games, in which the players' objective functions are considered to be sensitive information to be protected. In…

Optimization and Control · Mathematics 2019-11-26 Maojiao Ye , Guoqiang Hu , Lihua Xie , Shengyuan Xu

Finite-horizon probabilistic multiagent concurrent game systems, also known as finite multiplayer stochastic games, are a well-studied model in computer science due to their ability to represent a wide range of real-world scenarios…

Computer Science and Game Theory · Computer Science 2026-05-27 Senthil Rajasekaran , Moshe Y. Vardi

Nash equilibrium is often heralded as a guiding principle for rational decision-making in strategic interactions. However, it is well-known that Nash equilibrium sometimes fails as a reliable predictor of outcomes, with two of the most…

Computer Science and Game Theory · Computer Science 2023-12-27 Ivan Geffner , Moshe Tennenholtz

This short paper concerns discretization schemes for representing and computing approximate Nash equilibria, with emphasis on graphical games, but briefly touching on normal-form and poly-matrix games. The main technical contribution is a…

Artificial Intelligence · Computer Science 2014-11-13 Luis E. Ortiz

We study cautious reasoning in finite sequential games played by agents with perfect recall. Our contribution lies in formulating a definition of prudent rationalizability (Heifetz et al. 2021, BEJTE) as an iterative reduction procedure of…

Computer Science and Game Theory · Computer Science 2025-12-01 Nicodemo De Vito

This paper investigates a reconciliation method in order to establish an errorless secret key in a QKD protocol. Classical key distribution protocols are no longer unconditionally secure because computational complexity of mathematical…

Quantum Physics · Physics 2020-02-19 Nedra Benletaief , Houria Rezig , Ammar Bouallegue

Quantum correlations between measurements of separated observers are crucial for applications like randomness generation and key distribution. Although device-independent security can be certified with minimal assumptions, current protocols…

Low transaction throughput and poor scalability are significant issues in public blockchain consensus protocols such as Bitcoins. Recent research efforts in this direction have proposed shard-based consensus protocols where the key idea is…

Computer Science and Game Theory · Computer Science 2018-09-26 Mohammad Hossein Manshaei , Murtuza Jadliwala , Anindya Maiti , Mahdi Fooladgar

We provide a series of algorithms demonstrating that solutions according to the fundamental game-theoretic solution concept of closed under rational behavior (CURB) sets in two-player, normal-form games can be computed in polynomial time…

Computer Science and Game Theory · Computer Science 2014-01-17 Michael Benisch , George B. Davis , Tuomas Sandholm

Designing efficient algorithms to compute Nash equilibria poses considerable challenges in Algorithmic Game Theory and Optimization. In this work, we employ integer programming techniques to compute Nash equilibria in Integer Programming…

Optimization and Control · Mathematics 2022-09-16 Gabriele Dragotto , Rosario Scatamacchia

Fairness is a desirable and crucial property of many protocols that handle, for instance, exchanges of message. It states that if at least one agent engaging in the protocol is honest, then either the protocol will unfold correctly and…

Computer Science and Game Theory · Computer Science 2024-11-01 Léonard Brice , Jean-François Raskin , Mathieu Sassolas , Guillaume Scerri , Marie van den Bogaard

Games with incomplete preferences are an important model for studying rational decision-making in scenarios where players face incomplete information about their preferences and must contend with incomparable outcomes. We study the problem…

Computer Science and Game Theory · Computer Science 2024-08-13 Abhishek N. Kulkarni , Jie Fu , Ufuk Topcu

In this paper, we investigate a distributed Nash equilibrium computation problem for a time-varying multi-agent network consisting of two subnetworks, where the two subnetworks share the same objective function. We first propose a…

Systems and Control · Computer Science 2015-11-30 Youcheng Lou , Yiguang Hong , Lihua Xie , Guodong Shi , Karl Henrik Johansson

In the field of international security, understanding the strategic interactions between countries within a networked context is crucial. Our previous research has introduced a ``games-on-signed graphs'' framework~\cite{LiMorse2022} to…

Computer Science and Game Theory · Computer Science 2025-12-01 Chuanzhe Zhang , Yuke Li , Wenjun Mei

Mining processes of Bitcoin and similar cryptocurrencies are currently incentivized with voluntary transaction fees and fixed block rewards which will halve gradually to zero. In the setting where optional and arbitrary transaction fee…

Cryptography and Security · Computer Science 2022-07-14 Tiantian Gong , Mohsen Minaei , Wenhai Sun , Aniket Kate

Rational secure multi-party computation (RSMC) means two or more rational parties to complete a function on private inputs. In the process, the rational parties choose strategies to maximize utility, which will cause players to maliciously…

Cryptography and Security · Computer Science 2022-06-22 Yuling Chen , Juan Ma , Xianmin Wang , Xinyu Zhang , Huiyu Zhou

Concurrent stochastic games (CSGs) are an ideal formalism for modelling probabilistic systems that feature multiple players or components with distinct objectives making concurrent, rational decisions. Examples include communication or…

Logic in Computer Science · Computer Science 2020-07-27 Marta Kwiatkowska , Gethin Norman , David Parker , Gabriel Santos

We introduce set packing games as an abstraction of situations in which $n$ selfish players select subsets of a finite set of indivisible items, and analyze the quality of several equilibria for this class of games. Assuming that players…

Computer Science and Game Theory · Computer Science 2023-03-06 Jasper de Jong , Marc Uetz

We address the generalized Nash equilibrium seeking problem in a partial-decision information scenario, where each agent can only exchange information with some neighbors, although its cost function possibly depends on the strategies of all…

Optimization and Control · Mathematics 2021-12-14 Mattia Bianchi , Giuseppe Belgioioso , Sergio Grammatico

We consider the problem of computing mixed Nash equilibria of two-player zero-sum games with continuous sets of pure strategies and with first-order access to the payoff function. This problem arises for example in game-theory-inspired…

Optimization and Control · Mathematics 2025-09-04 Guillaume Wang , Lénaïc Chizat