James Heather
James Heather
Senior Lecturer in Computing, University of Surrey
Verifierad e-postadress på surrey.ac.uk
Citeras av
Citeras av
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
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
The append-only web bulletin board
J Heather, D Lundin
International Workshop on Formal Aspects in Security and Trust, 242-256, 2008
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
Using Pręt ā Voter in Victoria State Elections.
C Burton, C Culnane, J Heather, T Peacock, PYA Ryan, SA Schneider, ...
EVT/WOTE 2, 2012
Turnitoff: Identifying and fixing a hole in current plagiarism detection software
J Heather
Assessment & Evaluation in Higher Education 35 (6), 647-660, 2010
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
Implementing STV securely in Pręt ā Voter
J Heather
20th IEEE Computer Security Foundations Symposium (CSF'07), 157-169, 2007
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
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
Pretty good democracy for more expressive voting schemes
J Heather, P Ryan, V Teague
ESORICS 2010, 405-423, 2011
Oh!... Is it really you?’using rank functions to verify authentication protocols
J Heather
PhD thesis, Royal Holloway, University of London, 2000
A decision procedure for the existence of a rank function
J Heather, S Schneider
Journal of Computer Security 13 (2), 317-344, 2005
Focus group views on Pręt ā Voter 1.0
S Schneider, M Llewellyn, C Culnane, J Heather, S Srinivasan, Z Xia
2011 International Workshop on Requirements Engineering for Electronic …, 2011
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
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
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
A Formal Framework for Modelling Coercion Resistance and Receipt Freeness
SA Schneider, JA Heather
Formal Methods (FM) 2012 7436, 217-231, 2012
Strand Spaces and Rank Functions: More than Distant Cousins.
J Heather
CSFW 2, 104, 2002
Embedding the stable failures model of CSP in PVS
K Wei, J Heather
International Conference on Integrated Formal Methods, 246-265, 2005
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20