James Heather - RankMe

44 papers A 3B 4Misc 2Journal 11Unranked 22

Year	Rank	Type	Title / Venue / Authors
2017	J	`jnl`	Automated Analysis of Voting Systems under an Active Intruder Model in CSP. CoRR Murat Moran, James Heather
2016	J	`jnl`	Automated anonymity verification of the ThreeBallot and VAV voting systems. Softw. Syst. Model. Murat Moran, James Heather, Steve A. Schneider
2016	J	`jnl`	Constructing and verifying a robust Mix Net using CSP. Softw. Syst. Model. Efstathios Stathakidis, David M. Williams, James Heather
2014	B	`conf`	Countering Ballot Stuffing and Incorporating Eligibility Verifiability in Helios. NSS Sriramkrishnan Srinivasan, Chris Culnane, James Heather, Steve A. Schneider, Zhe Xia
2014	J	`jnl`	Cryptographic protocols with everyday objects. Formal Aspects Comput. James Heather, Steve A. Schneider, Vanessa Teague
2014	—	`conf`	Faster Print on Demand for Prêt à Voter. EVT/WOTE Chris Culnane, James Heather, Rui Joaquim, Peter Y. A. Ryan, Steve A. Schneider, Vanessa Teague
2014	—	`conf`	Robustness Modelling and Verification of a Mix Net Protocol. SSR Efstathios Stathakidis, Steve A. Schneider, James Heather
2014	J	`jnl`	Special Section on Vote-ID 2013. J. Inf. Secur. Appl. Steve A. Schneider, Vanessa Teague, Chris Culnane, James Heather
2014	J	`jnl`	Verifying anonymity in voting systems using CSP. Formal Aspects Comput. Murat Moran, James Heather, Steve A. Schneider
2013	J	`jnl`	Automated Analysis of Voting Systems with Dolev-Yao Intruder Model. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Murat Moran, James Heather
2013	B	`conf`	Automated Anonymity Verification of the ThreeBallot Voting System. IFM Murat Moran, James Heather, Steve A. Schneider
2013	—	`ed.`	E-Voting and Identify - 4th International Conference, VoteID 2013, Guildford, UK, July 17-19, 2013. Proceedings VoteID James Heather, Steve A. Schneider, Vanessa Teague
2013	—	`conf`	Solving the Discrete Logarithm Problem for Packing Candidate Preferences. CD-ARES Workshops James Heather, Chris Culnane, Steve A. Schneider, Sriramkrishnan Srinivasan, Zhe Xia
2013	—	`conf`	Testing Voters' Understanding of a Security Mechanism Used in Verifiable Voting. EVT/WOTE Morgan Llewellyn, Steve A. Schneider, Zhe Xia, Chris Culnane, James Heather, Peter Y. A. Ryan, Sriramkrishnan Srinivasan
2013	J	`jnl`	Verifying a Mix Net in CSP. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Efstathios Stathakidis, David M. Williams, James Heather
2012	B	`conf`	A Formal Framework for Modelling Coercion Resistance and Receipt Freeness. FM James Heather, Steve A. Schneider
2012	—	`conf`	A Supervised Verifiable Voting Protocol for the Victorian Electoral Commission. Electronic Voting Craig Burton, Chris Culnane, James Heather, Thea Peacock, Peter Y. A. Ryan, Steve A. Schneider, Sriramkrishnan Srinivasan, Vanessa Teague, Roland Wen, Zhe Xia
2012	—	`conf`	Using Prêt à Voter in Victoria State Elections. EVT/WOTE Craig Burton, Chris Culnane, James Heather, Thea Peacock, Peter Y. A. Ryan, Steve A. Schneider, Vanessa Teague, Roland Wen, Zhe Xia, Sriramkrishnan Srinivasan
2011	—	`conf`	Authentication Codes. EVT/WOTE Chris Culnane, David Bismark, James Heather, Steve A. Schneider, Sriramkrishnan Srinivasan, Zhe Xia
2011	—	`conf`	Focus group views on Prêt à Voter 1.0. REVOTE Steve A. Schneider, Morgan Llewellyn, Chris Culnane, James Heather, Sriramkrishnan Srinivasan, Zhe Xia
2011	—	`conf`	On the Side-Effects of Introducing E-Voting. VoteID James Heather, Morgan Llewellyn, Vanessa Teague, Roland Wen
2011	—	`conf`	Prêt á Voter with Write-Ins. VoteID Steve A. Schneider, Sriramkrishnan Srinivasan, Chris Culnane, James Heather, Zhe Xia
2010	A	`conf`	Pretty Good Democracy for More Expressive Voting Schemes. ESORICS James Heather, Peter Y. A. Ryan, Vanessa Teague
2010	Misc	`conf`	Versatile Prêt à Voter: Handling Multiple Election Methods with a Unified Interface. INDOCRYPT Zhe Xia, Chris Culnane, James Heather, Hugo Jonker, Peter Y. A. Ryan, Steve A. Schneider, Sriramkrishnan Srinivasan
2009	—	`conf`	Experiences Gained from the first Prêt à Voter Implementation. REVOTE David Bismark, James Heather, Roger M. A. Peel, Steve A. Schneider, Zhe Xia, Peter Y. A. Ryan
2009	J	`jnl`	Prêt à voter: a voter-verifiable voting system. IEEE Trans. Inf. Forensics Secur. Peter Y. A. Ryan, David Bismark, James Heather, Steve A. Schneider, Zhe Xia
2008	—	`conf`	Analysis, Improvement, and Simplification of Prêt à Voter with Paillier Encryption. EVT Zhe Xia, Steve A. Schneider, James Heather, Jacques Traoré
2008	—	`conf`	The Append-Only Web Bulletin Board. Formal Aspects in Security and Trust James Heather, David Lundin
2007	A	`conf`	Implementing STV securely in Pret a Voter. CSF James Heather
2006	—	`conf`	A Theorem-Proving Approach to Verification of Fair Non-repudiation Protocols. Formal Aspects in Security and Trust Kun Wei, James Heather
2006	Misc	`conf`	To infinity and beyond or, avoiding the infinite in security protocol analysis. SAC James Heather, Steve A. Schneider
2006	—	`conf`	Where Next for Formal Methods? Security Protocols Workshop James Heather
2006	—	`conf`	Where Next for Formal Methods? Security Protocols Workshop James Heather, Kun Wei
2005	J	`jnl`	A decision procedure for the existence of a rank function. J. Comput. Secur. James Heather, Steve A. Schneider
2005	B	`conf`	Embedding the Stable Failures Model of CSP in PVS. IFM Kun Wei, James Heather
2005	—	`conf`	Programmable Agents for Generic Distributed Authorisation. International Conference on Internet Computing Nick Antonopoulos, James Heather, Roger M. A. Peel
2005	—	`conf`	Towards Verification of Timed Non-repudiation Protocols. Formal Aspects in Security and Trust Kun Wei, James Heather
2004	—	`conf`	Family Secrets. Formal Aspects in Security and Trust James Heather, Jonathan Y. Clark
2003	J	`jnl`	How to Prevent Type Flaw Attacks on Security Protocols. J. Comput. Secur. James Heather, Gavin Lowe, Steve A. Schneider
2002	A	`conf`	Equal To The Task? ESORICS James Heather, Steve A. Schneider
2002	—	`conf`	Strand Spaces and Rank Functions: More than Distant Cousins. CSFW James Heather
2000	—	`conf`	How to Prevent Type Flaw Attacks on Security Protocols. CSFW James Heather, Gavin Lowe, Steve A. Schneider
2000	—	`—`	Oh!... is it really you? : using rank functions to verify authentication protocols. James Heather
2000	—	`conf`	Towards Automatic Verification of Authentication Protocols on an Unbounded Network. CSFW James Heather, Steve A. Schneider