James Heather
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
10
Venues
7
Active years
2002–2014
Best venue rank
B
Where they publish
Papers
10 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2014 | NSS | Countering Ballot Stuffing and Incorporating Eligibility Verifiability in Helios. | Sriramkrishnan Srinivasan, Chris Culnane, James Heather, Steve A. Schneider, Zhe Xia |
| 2013 | IFM | Automated Anonymity Verification of the ThreeBallot Voting System. | Murat Moran, James Heather, Steve A. Schneider |
| 2012 | FM | A Formal Framework for Modelling Coercion Resistance and Receipt Freeness. | James Heather, Steve A. Schneider |
| 2011 | RE | Focus group views on Prt Voter 1.0. | Steve A. Schneider, Morgan Llewellyn, Chris Culnane, James Heather, Sriramkrishnan Srinivasan, Zhe Xia |
| 2010 | ESORICS | Pretty Good Democracy for More Expressive Voting Schemes. | James Heather, Peter Y. A. Ryan, Vanessa Teague |
| 2010 | INDOCRYPT | Versatile Prt Voter: Handling Multiple Election Methods with a Unified Interface. | Zhe Xia, Chris Culnane, James Heather, Hugo Jonker, Peter Y. A. Ryan, Steve A. Schneider, Sriramkrishnan Srinivasan |
| 2009 | RE | Experiences Gained from the first Prt Voter Implementation. | David Bismark, James Heather, Roger M. A. Peel, Steve A. Schneider, Zhe Xia, Peter Y. A. Ryan |
| 2006 | SAC | To infinity and beyond or, avoiding the infinite in security protocol analysis. | James Heather, Steve A. Schneider |
| 2005 | IFM | Embedding the Stable Failures Model of CSP in PVS. | Kun Wei, James Heather |
| 2002 | ESORICS | Equal To The Task? | James Heather, Steve A. Schneider |