@conference{a022a605759949a598ac0dd203074396,
title = "Towards Automatic Analysis of Election Verifiability Properties",
keywords = "ProVerif, automated reasoning, applied pi calculus, Electronic voting protocols, election verifiability",
author = "Benjamin Smyth and Mark Ryan and S Kremer and M Kourjieh",
year = "2010",
month = jan,
day = "1",
language = "English",
pages = "146--163",
note = "Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, Mar 27-28, 2010. Paphos, Cyprus ; Conference date: 01-01-2010",
}