11 citations · 33 across the 11 of their papers we have counts for
3 papers · 1 filter
Managing LTL properties in Event-B refinement
Steve Schneider, Helen Treharne, Heike Wehrheim +1
Refinement in Event-B supports the development of systems via proof based step-wise refinement of events. This refinement approach ensures safety properties are preserved, but addi…
vVote: a Verifiable Voting System
Chris Culnane, Peter Y. A. Ryan, Steve Schneider +1
The Pret a Voter cryptographic voting system was designed to be flexible and to offer voters a familiar and easy voting experience. In this paper we present a case study of our eff…
A Peered Bulletin Board for Robust Use in Verifiable Voting Systems
Chris Culnane, Steve Schneider
The Web Bulletin Board (WBB) is a key component of verifiable election systems. It is used in the context of election verification to publish evidence of voting and tallying that v…