• Publications
  • Influence
A Practical Voter-Verifiable Election Scheme
TLDR
We present an election scheme designed to allow voters to verify that their vote is accurately included in the count. Expand
  • 378
  • 42
  • PDF
Opacity Generalised to Transition Systems
TLDR
We extend the notion of opacity to the model of labelled transition systems and generalise opacity in order to better represent concepts from the literature on information flow. Expand
  • 108
  • 24
PrÊt À Voter: a Voter-Verifiable Voting System
TLDR
This paper presents the key elements of the approach and describes the evolution of the design and their suitability in various contexts. Expand
  • 172
  • 19
Modelling Opacity Using Petri Nets
TLDR
We propose a Petri net modelling technique which allows one to specify different information flow properties, based on the observation of the local states of a low-level part of the system as well as actions. Expand
  • 110
  • 15
  • PDF
The modelling and analysis of security protocols: the csp approach
TLDR
Security protocols are one of the most critical elements in enabling the secure communication and processing of information, ensuring its confidentiality, integrity, authenticity and availability. Expand
  • 308
  • 13
  • PDF
Prêt à Voter with Re-encryption Mixes
TLDR
We present a number of enhancements to the voter verifiable election scheme Pret a Voter [CRS05]. Expand
  • 153
  • 13
  • PDF
J-PAKE: Authenticated Key Exchange without PKI
TLDR
We present a new PAKE solution called J-PAKE, which authenticates a password with zero-knowledge and then subsequently creates a strong session key if the password is correct. Expand
  • 65
  • 11
  • PDF
Scantegrity II: End-to-End Verifiability for Optical Scan Election Systems using Invisible Ink Confirmation Codes
TLDR
We introduce Scantegrity II, a practical enhancement for optical scan voting systems that achieves increased election integrity through the novel use of confirmation codes printed on ballots in invisible ink. Expand
  • 186
  • 9
  • PDF
Opacity generalised to transition systems
TLDR
We extend the notion of opacity to the model of labelled transition systems and generalise opacity in order to better represent concepts from the literature on information flow. Expand
  • 140
  • 7
  • PDF
Anonymous voting by two-round public discussion
TLDR
In 2006, Hao and Zielinski proposed a two-round anonymous veto protocol (called AV-net), which provided exceptional efficiency compared to related techniques. Expand
  • 82
  • 7
  • PDF