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.