165 papers found
Refreshing results…
Focus group views on Prêt à Voter 1.0
Download from epubs.surrey.ac.ukA Formal Framework for Modelling Coercion Resistance and Receipt Freeness
Download from epubs.surrey.ac.ukStepwise Refinement in Event-B CSP. Part 1: Safety
Download from www.researchgate.netDevelopment and organization of content- simplified
Download from www.researchgate.netExperiences Gained from the first Prêt à Voter Implementation
Download from epubs.surrey.ac.ukA step towards refining and translating B control annotations to Handel-C
Download from www.researchgate.netPrÊt À Voter: a Voter-Verifiable Voting System
Download from www.researchgate.netA CSP Approach to Control in Event-B
Download from hal.inria.frAnalysis, Improvement and Simplification of Prêt à Voter with Paillier Encryption
Download from citeseerx.ist.psu.eduModelling and analysis of the AMBA bus using CSP and B
Download from epubs.surrey.ac.ukMissing publications? Read more about our data sources.