Towards Automatic Verification of Authentication Protocols on an Unbounded Network. - James Heather; Steve A. Schneider (CSFW, 2000)

Oh!... is it really you? : using rank functions to verify authentication protocols. - James Heather (2000)

Strand Spaces and Rank Functions: More than Distant Cousins. - James Heather (CSFW, 2002)

Equal To The Task? - James Heather; Steve A. Schneider (ESORICS, 2002)

How to Prevent Type Flaw Attacks on Security Protocols. - James Heather; Gavin Lowe; Steve A. Schneider (J. Comput. Secur., 2003)

Family Secrets. - James Heather; Jonathan Y. Clark (Formal Aspects in Security and Trust, 2004)

Programmable Agents for Generic Distributed Authorisation. - Nick Antonopoulos; James Heather; Roger M. A. Peel (International Conference on Internet Computing, 2005)

Towards Verification of Timed Non-repudiation Protocols. - Kun Wei; James Heather (Formal Aspects in Security and Trust, 2005)

Embedding the Stable Failures Model of CSP in PVS. - Kun Wei; James Heather (IFM, 2005)

A decision procedure for the existence of a rank function. - James Heather; Steve A. Schneider (J. Comput. Secur., 2005)

A Theorem-Proving Approach to Verification of Fair Non-repudiation Protocols. - Kun Wei; James Heather (Formal Aspects in Security and Trust, 2006)

To infinity and beyond or, avoiding the infinite in security protocol analysis. - James Heather; Steve A. Schneider (SAC, 2006)

Where Next for Formal Methods? - James Heather (Security Protocols Workshop, 2006)

Where Next for Formal Methods? - James Heather; Kun Wei (Security Protocols Workshop, 2006)

Implementing STV securely in Pret a Voter. - James Heather (CSF, 2007)

The Append-Only Web Bulletin Board. - James Heather; David Lundin (Formal Aspects in Security and Trust, 2008)

Analysis, Improvement, and Simplification of Prêt à Voter with Paillier Encryption. - Zhe Xia; Steve A. Schneider; James Heather; Jacques Traoré (EVT, 2008)

Experiences Gained from the first Prêt à Voter Implementation. - David Bismark; James Heather; Roger M. A. Peel; Steve A. Schneider; Zhe Xia; Peter Y. A. Ryan (REVOTE, 2009)

Prêt à voter: a voter-verifiable voting system. - Peter Y. A. Ryan; David Bismark; James Heather; Steve A. Schneider; Zhe Xia (IEEE Trans. Inf. Forensics Secur., 2009)

Pretty Good Democracy for More Expressive Voting Schemes. - James Heather; Peter Y. A. Ryan; Vanessa Teague (ESORICS, 2010)

Versatile Prêt à 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 (INDOCRYPT, 2010)

Focus group views on Prêt à Voter 1.0. - Steve A. Schneider; Morgan Llewellyn; Chris Culnane; James Heather; Sriramkrishnan Srinivasan; Zhe Xia (REVOTE, 2011)

Authentication Codes. - Chris Culnane; David Bismark; James Heather; Steve A. Schneider; Sriramkrishnan Srinivasan; Zhe Xia (EVT/WOTE, 2011)

On the Side-Effects of Introducing E-Voting. - James Heather; Morgan Llewellyn; Vanessa Teague; Roland Wen (VoteID, 2011)

Prêt á Voter with Write-Ins. - Steve A. Schneider; Sriramkrishnan Srinivasan; Chris Culnane; James Heather; Zhe Xia (VoteID, 2011)

A Supervised Verifiable Voting Protocol for the Victorian Electoral Commission. - Craig Burton; Chris Culnane; James Heather; Thea Peacock; Peter Y. A. Ryan; Steve A. Schneider; Sriramkrishnan Srinivasan; Vanessa Teague; Roland Wen; Zhe Xia (Electronic Voting, 2012)

A Formal Framework for Modelling Coercion Resistance and Receipt Freeness. - James Heather; Steve A. Schneider (FM, 2012)

Using Prêt à Voter in Victoria State Elections. - Craig Burton; Chris Culnane; James Heather; Thea Peacock; Peter Y. A. Ryan; Steve A. Schneider; Vanessa Teague; Roland Wen; Zhe Xia; Sriramkrishnan Srinivasan (EVT/WOTE, 2012)

Solving the Discrete Logarithm Problem for Packing Candidate Preferences. - James Heather; Chris Culnane; Steve A. Schneider; Sriramkrishnan Srinivasan; Zhe Xia (CD-ARES Workshops, 2013)

Automated Anonymity Verification of the ThreeBallot Voting System. - Murat Moran; James Heather; Steve A. Schneider (IFM, 2013)

Testing Voters' Understanding of a Security Mechanism Used in Verifiable Voting. - Morgan Llewellyn; Steve A. Schneider; Zhe Xia; Chris Culnane; James Heather; Peter Y. A. Ryan; Sriramkrishnan Srinivasan (EVT/WOTE, 2013)

Automated Analysis of Voting Systems with Dolev-Yao Intruder Model. - Murat Moran; James Heather (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013)

Verifying a Mix Net in CSP. - Efstathios Stathakidis; David M. Williams; James Heather (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013)

Countering Ballot Stuffing and Incorporating Eligibility Verifiability in Helios. - Sriramkrishnan Srinivasan; Chris Culnane; James Heather; Steve A. Schneider; Zhe Xia (NSS, 2014)

Robustness Modelling and Verification of a Mix Net Protocol. - Efstathios Stathakidis; Steve A. Schneider; James Heather (SSR, 2014)

Faster Print on Demand for Prêt à Voter. - Chris Culnane; James Heather; Rui Joaquim; Peter Y. A. Ryan; Steve A. Schneider; Vanessa Teague (EVT/WOTE, 2014)

Cryptographic protocols with everyday objects. - James Heather; Steve A. Schneider; Vanessa Teague (Formal Aspects Comput., 2014)

Verifying anonymity in voting systems using CSP. - Murat Moran; James Heather; Steve A. Schneider (Formal Aspects Comput., 2014)

Special Section on Vote-ID 2013. - Steve A. Schneider; Vanessa Teague; Chris Culnane; James Heather (J. Inf. Secur. Appl., 2014)

Automated anonymity verification of the ThreeBallot and VAV voting systems. - Murat Moran; James Heather; Steve A. Schneider (Softw. Syst. Model., 2016)

Constructing and verifying a robust Mix Net using CSP. - Efstathios Stathakidis; David M. Williams; James Heather (Softw. Syst. Model., 2016)

Automated Analysis of Voting Systems under an Active Intruder Model in CSP. - Murat Moran; James Heather (CoRR, 2017)