James Heather

	2011
21		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
	2010
20		James Heather, Peter Y. A. Ryan, Vanessa Teague: Pretty Good Democracy for More Expressive Voting Schemes. ESORICS 2010: 405-423
19		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
18		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)
	2008
17		Zhe Xia, Steve A. Schneider, James Heather, Jacques Traoré: Analysis, Improvement, and Simplification of Prêt à Voter with Paillier Encryption. EVT 2008
16		James Heather, David Lundin: The Append-Only Web Bulletin Board. Formal Aspects in Security and Trust 2008: 242-256
	2007
15		James Heather: Implementing STV securely in Pret a Voter. CSF 2007: 157-169
	2006
14		Kun Wei, James Heather: A Theorem-Proving Approach to Verification of Fair Non-repudiation Protocols. Formal Aspects in Security and Trust 2006: 202-219
13		James Heather, Steve Schneider: To infinity and beyond or, avoiding the infinite in security protocol analysis. SAC 2006: 346-353
12		James Heather, Kun Wei: Where Next for Formal Methods? Security Protocols Workshop 2006: 52-58
11		James Heather: Where Next for Formal Methods? Security Protocols Workshop 2006: 59-61
	2005
10		Kun Wei, James Heather: Towards Verification of Timed Non-repudiation Protocols. Formal Aspects in Security and Trust 2005: 244-257
9		Kun Wei, James Heather: Embedding the Stable Failures Model of CSP in PVS. IFM 2005: 246-265
8		Nick Antonopoulos, James Heather, Roger M. A. Peel: Programmable Agents for Generic Distributed Authorisation. International Conference on Internet Computing 2005: 174-180
7		James Heather, Steve Schneider: A decision procedure for the existence of a rank function. Journal of Computer Security 13(2): 317-344 (2005)
	2004
6		James Heather, Jonathan Y. Clark: Family Secrets. Formal Aspects in Security and Trust 2004: 99-114
	2003
5		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
4		James Heather: Strand Spaces and Rank Functions: More than Distant Cousins. CSFW 2002: 104-
3		James Heather, Steve Schneider: Equal To The Task? ESORICS 2002: 162-177
	2000
2		James Heather, Steve Schneider: Towards Automatic Verification of Authentication Protocols on an Unbounded Network. CSFW 2000: 132-143
1		James Heather, Gavin Lowe, Steve Schneider: How to Prevent Type Flaw Attacks on Security Protocols. CSFW 2000: 255-268

Coauthor Index

1	Nick Antonopoulos	[8]
2	David Bismark	[18]
3	Jonathan Y. Clark	[6]
4	Chris Culnane	[19] [21]
5	Hugo L. Jonker (Hugo Jonker)	[19]
6	Morgan Llewellyn	[21]
7	Gavin Lowe	[1] [5]
8	David Lundin	[16]
9	Roger M. A. Peel	[8]
10	Peter Y. A. Ryan (Peter Ryan)	[18] [19] [20]
11	Steve A. Schneider (Steve Schneider)	[1] [2] [3] [5] [7] [13] [17] [18] [19] [21]
12	Sriramkrishnan Srinivasan	[19] [21]
13	Vanessa Teague	[20]
14	Jacques Traoré	[17]
15	Kun Wei	[9] [10] [12] [14]
16	Zhe Xia	[17] [18] [19] [21]

Colors in the list of coauthors

Last update Thu May 31 18:55:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page