Wojtek stopping by

Wojtek is visiting us and giving a talk on How to Save Democracy ...

Friday, 04.11.2022, 13:00

Institut für Informatik (D8), Am Regenbogen 15, Seminarraum 210

Prof. Dr. Wojtek Jamroga

University of Luxembourg and Polish Academy of Sciences

How to Save Democracy (or Towards Model Checking of E-Voting Protocols in Alternating-time Temporal Logic)


Properties of coercion resistance and voter verifiability refer to the existence of an appropriate strategy for the voter, the coercer, or both. One can try to specify such properties by formulae of a suitable strategic logic. However, automated verification of strategic properties is notoriously hard, and novel techniques are needed to overcome the complexity.