Cited By
View all- Alberdi EStrigini LLeach KRyan PPalanque PWinckler M(2009)Gaining Assurance in a Voter-Verifiable Voting SystemProceedings of the 2009 Second International Conference on Dependability10.1109/DEPEND.2009.21(99-104)Online publication date: 18-Jun-2009
- Cansell DGibson JMery D(2007)Formal verification of tamper-evident storage for e-votingProceedings of the Fifth IEEE International Conference on Software Engineering and Formal Methods10.1109/SEFM.2007.21(329-338)Online publication date: 10-Sep-2007
- Cansell DGibson JMéry D(2007)RefinementElectronic Notes in Theoretical Computer Science (ENTCS)10.1016/j.entcs.2007.01.060183(39-55)Online publication date: 1-Jul-2007
- Show More Cited By