1 citations · 1 across the 1 of their papers we have counts for
1 paper
Murat Moran, James Heather
This article presents a novel intruder model for automated reasoning about anonymity (vote-privacy) and secrecy properties of voting systems. We adapt the lazy spy for this purpose…