27 Aug
27. August 2019
Kolloquium

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

Properties of receipt-freeness, coercion resistance, and voter verifiability refer to the existence (or nonexistence) 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, such as Alternating-time Temporal Logic (ATL). However, automated verification of strategic properties in scenarios with partial observability is notoriously hard, and novel techniques are needed to overcome the complexity.

Speaker

Prof. Dr. Wojtek Jamroga ist Professor im Institute of Computer Science der Polish Academy of Sciences, Warschau.

Organiser

Prof. Dr. Heribert Vollmer, Institut für Theoretische Informatik

Date

27. August 2019
16:00 o'clock - 17:00 o'clock

Location

Institut für Theoretische Informatik
Building: 3703
Room: 224
Seminarraum des Instituts für Theoretische Informatik
Appelstr. 4
30167 Hannover
show on map