- CSB - MetaPress - Google - Bing - Yahoo
 | 2013 | |
|---|---|---|
| j4 |      | Niclas Thomas, James Heather, Wilfred Ndifon, John Shawe-Taylor, Benjamin Chain: Decombinator: a tool for fast, efficient gene assignment in T-cell receptor sequences using a finite state machine. Bioinformatics 29(5): 542-550 (2013) |
| c24 | | Murat Moran, James Heather, Steve Schneider: Automated Anonymity Verification of the ThreeBallot Voting System. IFM 2013: 94-108 |
| 2012 | ||
| c23 |  | Craig Burton, Chris Culnane, James Heather, Thea Peacock, Peter Y. A. Ryan, Steve Schneider, Sriramkrishnan Srinivasan, Vanessa Teague, Roland Wen, Zhe Xia: A Supervised Verifiable Voting Protocol for the Victorian Electoral Commission. Electronic Voting 2012: 81-94 |
| c22 | | James Heather, Steve Schneider: A Formal Framework for Modelling Coercion Resistance and Receipt Freeness. FM 2012: 217-231 |
| 2011 | ||
| c21 | | Steve Schneider, Morgan Llewellyn, Chris Culnane, James Heather, Sriramkrishnan Srinivasan, Zhe Xia: Focus group views on Prêt à Voter 1.0. REVOTE 2011: 56-65 |
| c20 | | Steve Schneider, Sriramkrishnan Srinivasan, Chris Culnane, James Heather, Zhe Xia: Prêt á Voter with Write-Ins. VOTE-ID 2011: 174-189 |
| c19 | | James Heather, Morgan Llewellyn, Vanessa Teague, Roland Wen: On the Side-Effects of Introducing E-Voting. VOTE-ID 2011: 242-256 |
| 2010 | ||
| c18 | | James Heather, Peter Y. A. Ryan, Vanessa Teague: Pretty Good Democracy for More Expressive Voting Schemes. ESORICS 2010: 405-423 |
| c17 | | 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: 98-114 |
| 2009 | ||
| j3 | | Peter Y. A. Ryan, David Bismark, James Heather, Steve Schneider, Zhe Xia: Prêt à voter: a voter-verifiable voting system. IEEE Transactions on Information Forensics and Security 4(4): 662-673 (2009) |
| c16 | | David Bismark, James Heather, Roger M. A. Peel, Steve Schneider, Zhe Xia, Peter Y. A. Ryan: Experiences Gained from the first Prêt à Voter Implementation. REVOTE 2009: 19-28 |
| 2008 | ||
| c15 | | James Heather, David Lundin: The Append-Only Web Bulletin Board. Formal Aspects in Security and Trust 2008: 242-256 |
| c14 | | Zhe Xia, Steve A. Schneider, James Heather, Jacques Traoré: Analysis, Improvement, and Simplification of Prêt à Voter with Paillier Encryption. EVT 2008 |
| 2007 | ||
| c13 | | |
| 2006 | ||
| c12 | | Kun Wei, James Heather: A Theorem-Proving Approach to Verification of Fair Non-repudiation Protocols. Formal Aspects in Security and Trust 2006: 202-219 |
| c11 | | James Heather, Steve Schneider: To infinity and beyond or, avoiding the infinite in security protocol analysis. SAC 2006: 346-353 |
| c10 | | |
| c9 | | |
| 2005 | ||
| j2 | | James Heather, Steve Schneider: A decision procedure for the existence of a rank function. Journal of Computer Security 13(2): 317-344 (2005) |
| c8 | | Nick Antonopoulos, James Heather, Roger M. A. Peel: Programmable Agents for Generic Distributed Authorisation. International Conference on Internet Computing 2005: 174-180 |
| c7 | | Kun Wei, James Heather: Towards Verification of Timed Non-repudiation Protocols. Formal Aspects in Security and Trust 2005: 244-257 |
| c6 | | |
| 2004 | ||
| c5 | | |
| 2003 | ||
| j1 | | James Heather, Gavin Lowe, Steve Schneider: How to Prevent Type Flaw Attacks on Security Protocols. Journal of Computer Security 11(2): 217-244 (2003) |
| 2002 | ||
| c4 | | |
| c3 | | |
| 2000 | ||
| c2 | | James Heather, Steve Schneider: Towards Automatic Verification of Authentication Protocols on an Unbounded Network. CSFW 2000: 132-143 |
| c1 | | James Heather, Gavin Lowe, Steve Schneider: How to Prevent Type Flaw Attacks on Security Protocols. CSFW 2000: 255-268 |
Colors in the list of coauthors
Last update Thu May 23 05:48:06 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page