Login / Signup
Thea Peacock
Publication Activity (10 Years)
Years Active: 2006-2012
Publications (10 Years): 0
Top Topics
State Variables
Unsupervised Methods
Lightweight
Coloured Petri Nets
Top Venues
Electronic Voting
EVT/WOTE
</>
Publications
</>
Craig Burton
,
Chris Culnane
,
James Heather
,
Thea Peacock
,
Peter Y. A. Ryan
,
Steve A. Schneider
,
Sriramkrishnan Srinivasan
,
Vanessa Teague
,
Roland Wen
,
Zhe Xia
A Supervised Verifiable Voting Protocol for the Victorian Electoral Commission.
Electronic Voting
(2012)
Craig Burton
,
Chris Culnane
,
James Heather
,
Thea Peacock
,
Peter Y. A. Ryan
,
Steve A. Schneider
,
Vanessa Teague
,
Roland Wen
,
Zhe Xia
,
Sriramkrishnan Srinivasan
Using Prêt à Voter in Victoria State Elections.
EVT/WOTE
(2012)
Peter Y. A. Ryan
,
Thea Peacock
A Threat Analysis of Prêt à Voter.
Towards Trustworthy Elections
(2010)
Thomas Tjøstheim
,
Thea Peacock
,
Peter Y. A. Ryan
A Model for System-Based Analysis of Voting Systems.
Security Protocols Workshop
(2007)
Peter Y. A. Ryan
,
Thea Peacock
Putting the Human Back in Voting Protocols.
Security Protocols Workshop
(2006)