James Heather
James Heather
Senior Lecturer in Computing, University of Surrey
Verifierad e-postadress på surrey.ac.uk
TitelCiteras avÅr
How to prevent type flaw attacks on security protocols
J Heather, G Lowe, S Schneider
Computer Security Foundations Workshop, 2000. CSFW-13. Proceedings. 13th …, 2000
2892000
Pręt ā Voter: a voter-verifiable voting system
PYA Ryan, D Bismark, J Heather, S Schneider, Z Xia
Information Forensics and Security, IEEE Transactions on 4 (4), 662-673, 2009
190*2009
Towards automatic verification of authentication protocols on an unbounded network
J Heather, S Schneider
Proceedings 13th IEEE Computer Security Foundations Workshop. CSFW-13, 132-143, 2000
712000
The append-only web bulletin board
J Heather, D Lundin
International Workshop on Formal Aspects in Security and Trust, 242-256, 2008
592008
Implementing STV securely in Pręt ā Voter
J Heather
20th IEEE Computer Security Foundations Symposium (CSF'07), 157-169, 2007
412007
Using pret a voter in victorian state elections
C Burton, C Culnane, JA Heather, T Peacock, PYA Ryan, SA Schneider, ...
392012
Analysis, improvement and simplification of Pręt ā voter with Paillier encryption
Z Xia, SA Schneider, J Heather, J Traoré
Proceedings of the conference on Electronic Voting Technology (EVT), 13, 2008
382008
Turnitoff: Identifying and fixing a hole in current plagiarism detection software
J Heather
Assessment & Evaluation in Higher Education 35 (6), 647-660, 2010
362010
A supervised verifiable voting protocol for the Victorian Electoral Commission
C Burton, C Culane, J Heather, T Peacock, PYA Ryan, S Schneider, ...
5th International Conference on Electronic Voting 2012 (EVOTE2012), 2012
312012
Pret a Voter: All-in-one
Z Xia, SA Schneider, J Heather, PYA Ryan, D Lundin, P Howard
Proceedings of the Workshop On Trustworthy Elections (WOTE) 2007, 47-56, 2007
302007
Oh!... Is it really you?’using rank functions to verify authentication protocols
J Heather
PhD thesis, Royal Holloway, University of London, 2000
30*2000
A decision procedure for the existence of a rank function
J Heather, S Schneider
Journal of Computer Security 13 (2), 317-344, 2005
272005
Pretty good democracy for more expressive voting schemes
J Heather, P Ryan, V Teague
ESORICS 2010, 405-423, 2011
252011
Versatile Pręt ā Voter: Handling multiple election methods with a unified interface
Z Xia, C Culnane, J Heather, H Jonker, PYA Ryan, S Schneider, ...
International Conference on Cryptology in India, 98-114, 2010
242010
Focus group views on Pret a Voter 1.0
S Schneider, M Llewellyn, C Culnane, J Heather, S Srinivasan, Z Xia
2011 International Workshop on Requirements Engineering for Electronic …, 2011
192011
Experiences gained from the first pret a voter implementation
D Bismark, J Heather, RMA Peel, S Schneider, Z Xia, PYA Ryan
2009 First International Workshop on Requirements Engineering for e-Voting …, 2009
172009
A theorem-proving approach to verification of fair non-repudiation protocols
K Wei, J Heather
International Workshop on Formal Aspects in Security and Trust, 202-219, 2006
172006
A Formal Framework for Modelling Coercion Resistance and Receipt Freeness
SA Schneider, JA Heather
Formal Methods (FM) 2012 7436, 217-231, 2012
16*2012
Embedding the stable failures model of CSP in PVS
K Wei, J Heather
International Conference on Integrated Formal Methods, 246-265, 2005
152005
Strand spaces and rank functions: More than distant cousins
J Heather
152002
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20