SKM 2023 – scientific programme

Parts | Days | Selection | Search | Updates | Downloads | Help

SOE: Fachverband Physik sozio-ökonomischer Systeme

SOE 4: Poster

SOE 4.10: Poster

Monday, March 27, 2023, 17:00–19:00, P2/OG2

The Verification Dilemma in computer security: a game-theoretic perspective — •Jens Christian Claussen and Aad van Moorsel — School of Computer Science, University of Birmingham, UK

Verification protocols, as the Proof-of-Work (PoW) in blockchains, are essential mechanisms to ensure security in distributed networks. The computational costs of verification can also be organized in a shared way through special users, called miners. It has been pointed out that a Verifier's Dilemma arises between verifying and non-verifying miners [1]. Here we analyze the verification problem from game theory, identifying it as a strategic dilemma similar to a public goods game.

[1] D. Smuseva, I. Malakhov, A. Marin, A. van Moorsel and S. Rossi, Verifier's Dilemma in Etherum Blockchain: A Quantitative Analysis, LNCS 13479, 317 (2022)