Pseudo-Equilibria, or: How to Stop Worrying About Crypto and Just Analyze the Game

Alexandros Psomas, Athina Terzoglou, Yu Wei +1

We consider the problem of a game theorist analyzing a game that uses cryptographic protocols. Ideally, a theorist abstracts protocols as ideal, implementation-independent primitiv…