27 janvier 2025
Mathieu Sassolas (Université Libre de Bruxelles)In this talk, I will present a game-theoretic approach to formalize fair exchange protocols under assumption of rational but possibly malicious agents. This framework is more expressive than previous frameworks for rational fairness.
In this joint work with Léonard Brice, Jean-François Raskin, Guillaume Scerri, and Marie Van Den Bogaard, we establish a strong link between our framework and concepts in game theory. More precisely, we show that the correctness conditions induced by our framework are strongly related to the concept of Strong Secure Equilibrium. This link with game theory allows us to develop efficient algorithms for the verification problems and we show that our algorithms have tractable complexity when the number of players is fixed, which is relevant in practice as the number of agents often remains small.