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 201916:00 o'clock - 17:00 o'clock
Location
Institut für Theoretische InformatikBuilding: 3703
Room: 224
Seminarraum des Instituts für Theoretische Informatik
Appelstr. 4
30167 Hannover