UniversitätAktuelles & PresseVeranstaltungen
How to Save Democracy, or: Towards Model Checking of E-Voting Protocols in Alternating-time Temporal Logic
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.

Referent/Referentin

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

Veranstalter

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

Termin

27. August 2019
16:00 Uhr - 17:00 Uhr

Ort

Institut für Theoretische Informatik
Geb.: 3703
Raum: 224
Seminarraum des Instituts für Theoretische Informatik
Appelstr. 4
30167 Hannover
Standort anzeigen