James Heather

ORCID

Publication Activity (10 Years)

Years Active: 2000-2017
Publications (10 Years): 3

Top Venues

EVT/WOTE

Electron. Commun. Eur. Assoc. Softw. Sci. Technol.

Formal Aspects Comput.

Softw. Syst. Model.

Royal Holloway, University of London, UK (PHD)

Education History

Royal Holloway, University of London, UK

PHD

Publications

Murat Moran, James Heather
Automated Analysis of Voting Systems under an Active Intruder Model in CSP. CoRR (2017)
Murat Moran, James Heather, Steve A. Schneider
Automated anonymity verification of the ThreeBallot and VAV voting systems. Softw. Syst. Model. 15 (4) (2016)
Efstathios Stathakidis, David M. Williams, James Heather
Constructing and verifying a robust Mix Net using CSP. Softw. Syst. Model. 15 (4) (2016)
Steve A. Schneider, Vanessa Teague, Chris Culnane, James Heather
Special Section on Vote-ID 2013. J. Inf. Secur. Appl. 19 (2) (2014)
Chris Culnane, James Heather, Rui Joaquim, Peter Y. A. Ryan, Steve A. Schneider, Vanessa Teague
Faster Print on Demand for Prêt à Voter. EVT/WOTE (2014)
James Heather, Steve A. Schneider, Vanessa Teague
Cryptographic protocols with everyday objects. Formal Aspects Comput. 26 (1) (2014)
Sriramkrishnan Srinivasan, Chris Culnane, James Heather, Steve A. Schneider, Zhe Xia
Countering Ballot Stuffing and Incorporating Eligibility Verifiability in Helios. NSS (2014)
Efstathios Stathakidis, Steve A. Schneider, James Heather
Robustness Modelling and Verification of a Mix Net Protocol. SSR (2014)
Murat Moran, James Heather, Steve A. Schneider
Verifying anonymity in voting systems using CSP. Formal Aspects Comput. 26 (1) (2014)
James Heather, Chris Culnane, Steve A. Schneider, Sriramkrishnan Srinivasan, Zhe Xia
Solving the Discrete Logarithm Problem for Packing Candidate Preferences. CD-ARES Workshops (2013)
Morgan Llewellyn, Steve A. Schneider, Zhe Xia, Chris Culnane, James Heather, Peter Y. A. Ryan, Sriramkrishnan Srinivasan
Testing Voters' Understanding of a Security Mechanism Used in Verifiable Voting. EVT/WOTE (2013)
Murat Moran, James Heather
Automated Analysis of Voting Systems with Dolev-Yao Intruder Model. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 66 (2013)
Efstathios Stathakidis, David M. Williams, James Heather
Verifying a Mix Net in CSP. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 66 (2013)
Murat Moran, James Heather, Steve A. Schneider
Automated Anonymity Verification of the ThreeBallot Voting System. IFM (2013)
James Heather, Steve A. Schneider
A Formal Framework for Modelling Coercion Resistance and Receipt Freeness. FM (2012)
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)
Steve A. Schneider, Sriramkrishnan Srinivasan, Chris Culnane, James Heather, Zhe Xia
Prêt á Voter with Write-Ins. VoteID (2011)
James Heather, Morgan Llewellyn, Vanessa Teague, Roland Wen
On the Side-Effects of Introducing E-Voting. VoteID (2011)
Steve A. Schneider, Morgan Llewellyn, Chris Culnane, James Heather, Sriramkrishnan Srinivasan, Zhe Xia
Focus group views on Prêt à Voter 1.0. REVOTE (2011)
Chris Culnane, David Bismark, James Heather, Steve A. Schneider, Sriramkrishnan Srinivasan, Zhe Xia
Authentication Codes. EVT/WOTE (2011)
James Heather, Peter Y. A. Ryan, Vanessa Teague
Pretty Good Democracy for More Expressive Voting Schemes. ESORICS (2010)
Zhe Xia, Chris Culnane, James Heather, Hugo Jonker, Peter Y. A. Ryan, Steve A. Schneider, Sriramkrishnan Srinivasan
Versatile Prêt à Voter: Handling Multiple Election Methods with a Unified Interface. INDOCRYPT (2010)
Peter Y. A. Ryan, David Bismark, James Heather, Steve A. Schneider, Zhe Xia
Prêt à voter: a voter-verifiable voting system. IEEE Trans. Inf. Forensics Secur. 4 (4) (2009)
David Bismark, James Heather, Roger M. A. Peel, Steve A. Schneider, Zhe Xia, Peter Y. A. Ryan
Experiences Gained from the first Prêt à Voter Implementation. REVOTE (2009)
James Heather, David Lundin
The Append-Only Web Bulletin Board. Formal Aspects in Security and Trust (2008)
Zhe Xia, Steve A. Schneider, James Heather, Jacques Traoré
Analysis, Improvement, and Simplification of Prêt à Voter with Paillier Encryption. EVT (2008)
James Heather
Implementing STV securely in Pret a Voter. CSF (2007)
James Heather, Kun Wei
Where Next for Formal Methods? Security Protocols Workshop (2006)
Kun Wei, James Heather
A Theorem-Proving Approach to Verification of Fair Non-repudiation Protocols. Formal Aspects in Security and Trust (2006)
James Heather
Where Next for Formal Methods? Security Protocols Workshop (2006)
James Heather, Steve A. Schneider
To infinity and beyond or, avoiding the infinite in security protocol analysis. SAC (2006)
Nick Antonopoulos, James Heather, Roger M. A. Peel
Programmable Agents for Generic Distributed Authorisation. International Conference on Internet Computing (2005)
Kun Wei, James Heather
Embedding the Stable Failures Model of CSP in PVS. IFM (2005)
Kun Wei, James Heather
Towards Verification of Timed Non-repudiation Protocols. Formal Aspects in Security and Trust (2005)
James Heather, Steve A. Schneider
A decision procedure for the existence of a rank function. J. Comput. Secur. 13 (2) (2005)
James Heather, Jonathan Y. Clark
Family Secrets. Formal Aspects in Security and Trust (2004)
James Heather, Gavin Lowe, Steve A. Schneider
How to Prevent Type Flaw Attacks on Security Protocols. J. Comput. Secur. 11 (2) (2003)
James Heather, Steve A. Schneider
Equal To The Task? ESORICS (2002)
James Heather
Strand Spaces and Rank Functions: More than Distant Cousins. CSFW (2002)
James Heather, Gavin Lowe, Steve A. Schneider
How to Prevent Type Flaw Attacks on Security Protocols. CSFW (2000)
James Heather, Steve A. Schneider
Towards Automatic Verification of Authentication Protocols on an Unbounded Network. CSFW (2000)

James Heather.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

James Heather