arXiv subjects

Stephane Le Roux

Publications and source records attributed to Stephane Le Roux.

9 recordsLinked to original sources

arXiv2019

TRIDEnT: Building Decentralized Incentives for Collaborative Security

Sophisticated mass attacks, especially when exploiting zero-day vulnerabilities, have the potential to cause destructive damage to organizations and critical infrastructure. To timely detect and contain such attacks, collaboration among the defenders is critical. By correlating real-time detection information (alerts) from multiple sources (collaborative intrusion detection), defenders can detect attacks and take the appropriate defensive measures in time. However, although the technical tools to facilitate collaboration exist, real-world adoption of such collaborative security mechanisms is still underwhelming. This is largely due to a lack of trust and participation incentives for companies and organizations. This paper proposes TRIDEnT, a novel collaborative platform that aims to enable and incentivize parties to exchange network alert data, thus increasing their overall detection capabilities. TRIDEnT allows parties that may be in a competitive relationship, to selectively advertise, sell and acquire security alerts in the form of (near) real-time peer-to-peer streams. To validate the basic principles behind TRIDEnT, we present an intuitive game-theoretic model of alert sharing, that is of independent interest, and show that collaboration is bound to take place infinitely often. Furthermore, to demonstrate the feasibility of our approach, we instantiate our design in a decentralized manner using Ethereum smart contracts and provide a fully functional prototype.

cs.CR↗

arXiv2018

Memoryless Determinacy of Infinite Parity Games: Another Simple Proof

In 1998 Zielonka simplified the proofs of memoryless determinacy of infinite parity games. In 2018 Haddad simplified some proofs of memoryless determinacy of finite parity games. This article adapts Haddad's technique for infinite parity games. Two proofs are given, a shorter one and a more constructive one. None of them uses Zielonka's traps and attractors.

cs.GT↗

arXiv2018

Concurrent games and semi-random determinacy

Consider concurrent, infinite duration, two-player win/lose games played on graphs. If the winning condition satisfies some simple requirement, the existence of Player 1 winning (finite-memory) strategies is equivalent to the existence of winning (finite-memory) strategies in finitely many derived one-player games. Several classical winning conditions satisfy this simple requirement. Under an additional requirement on the winning condition, the non-existence of Player 1 winning strategies from all vertices is equivalent to the existence of Player 2 stochastic strategies winning almost surely from all vertices. Only few classical winning conditions satisfy this additional requirement, but a fairness variant of o

cs.LO↗

arXiv2018

The Complexity of Graph-Based Reductions for Reachability in Markov Decision Processes

We study the never-worse relation (NWR) for Markov decision processes with an infinite-horizon reachability objective. A state q is never worse than a state p if the maximal probability of reaching the target set of states from p is at most the same value from q, regard- less of the probabilities labelling the transitions. Extremal-probability states, end components, and essential states are all special cases of the equivalence relation induced by the NWR. Using the NWR, states in the same equivalence class can be collapsed. Then, actions leading to sub- optimal states can be removed. We show the natural decision problem associated to computing the NWR is coNP-complete. Finally, we ex- tend a previously known incomplete polynomial-time iterative algorithm to under-approximate the NWR.

cs.LO↗

arXiv2016

Stable states of perturbed Markov chains

Given an infinitesimal perturbation of a discrete-time finite Markov chain, we seek the states that are stable despite the perturbation, \textit{i.e.} the states whose weights in the stationary distributions can be bounded away from $0$ as the noise fades away. Chemists, economists, and computer scientists have been studying irreducible perturbations built with exponential maps. Under these assumptions, Young proved the existence of and computed the stable states in cubic time. We fully drop these assumptions, generalize Young's technique, and show that stability is decidable as long as $f\in O(g)$ is. Furthermore, if the perturbation maps (and their multiplications) satisfy $f\in O(g)$ or $g\in O(f)$, we prove the existence of and compute the stable states and the metastable dynamics at all time scales where some states vanish. Conversely, if the big-$O$ assumption does not hold, we build a perturbation with these maps and no stable state. Our algorithm also runs in cubic time despite the general assumptions and the additional work. Proving the correctness of the algorithm relies on new or rephrased results in Markov chain theory, and on algebraic abstractions thereof.

cs.DM↗

arXiv2015

Infinite subgame perfect equilibrium in the Hausdorff difference hierarchy

Subgame perfect equilibria are specific Nash equilibria in perfect information games in extensive form. They are important because they relate to the rationality of the players. They always exist in infinite games with continuous real-valued payoffs, but may fail to exist even in simple games with slightly discontinuous payoffs. This article considers only games whose outcome functions are measurable in the Hausdorff difference hierarchy of the open sets (\textit{i.e.} $Δ^0_2$ when in the Baire space), and it characterizes the families of linear preferences such that every game using these preferences has a subgame perfect equilibrium: the preferences without infinite ascending chains (of course), and such that for all players $a$ and $b$ and outcomes $x,y,z$ we have $\neg(z <_a y <_a x \,\wedge\, x <_b z <_b y)$. Moreover at each node of the game, the equilibrium constructed for the proof is Pareto-optimal among all the outcomes occurring in the subgame. Additional results for non-linear preferences are presented.

cs.GT↗

arXiv2015

Weihrauch degrees of finding equilibria in sequential games

We consider the degrees of non-computability (Weihrauch degrees) of finding winning strategies (or more generally, Nash equilibria) in infinite sequential games with certain winning sets (or more generally, outcome sets). In particular, we show that as the complexity of the winning sets increases in the difference hierarchy, the complexity of constructing winning strategies increases in the effective Borel hierarchy.

cs.LO↗

arXiv2014

On terminating improvement in two-player games

A real-valued game has the finite improvement property (FIP), if starting from an arbitrary strategy profile and letting the players change strategies to increase their individual payoffs in a sequential but non-deterministic order always reaches a Nash equilibrium. E.g., potential games have the FIP. Many of them have the FIP by chance nonetheless, since modifying even a single payoff may ruin the property. This article characterises (in quadratic time) the class of the finite games where FIP not only holds but is also preserved when modifying all the occurrences of an arbitrary payoff. The characterisation relies on a pattern-matching sufficient condition for games (finite or infinite) to enjoy the FIP, and is followed by an inductive description of this class. A real-valued game is weakly acyclic if the improvement described above can reach a Nash equilibrium. This article characterises the finite such games using Markov chains and almost sure convergence to equilibrium. It also gives an inductive description of the two-player such games.

cs.GT↗

arXiv2013

Infinite sequential Nash equilibrium

In game theory, the concept of Nash equilibrium reflects the collective stability of some individual strategies chosen by selfish agents. The concept pertains to different classes of games, e.g. the sequential games, where the agents play in turn. Two existing results are relevant here: first, all finite such games have a Nash equilibrium (w.r.t. some given preferences) iff all the given preferences are acyclic; second, all infinite such games have a Nash equilibrium, if they involve two agents who compete for victory and if the actual plays making a given agent win (and the opponent lose) form a quasi-Borel set. This article generalises these two results via a single result. More generally, under the axiomatic of Zermelo-Fraenkel plus the axiom of dependent choice (ZF+DC), it proves a transfer theorem for infinite sequential games: if all two-agent win-lose games that are built using a well-behaved class of sets have a Nash equilibrium, then all multi-agent multi-outcome games that are built using the same well-behaved class of sets have a Nash equilibrium, provided that the inverse relations of the agents' preferences are strictly well-founded.

math.LO↗