researchr
explore
Tags
Journals
Conferences
Authors
Profiles
Groups
calendar
New Conferences
Events
Deadlines
search
search
You are not signed in
Sign in
Sign up
Links
Filter by Year
OR
AND
NOT
1
2007
2009
2011
2012
2013
2015
2016
2017
2018
2019
Filter by Tag
OR
AND
NOT
1
Meta-Environment
analysis
contracts
design
design science
e-science
meta-model
meta-objects
open-source
peer-to-peer
reviewing
rule-based
security
source-to-source
systematic-approach
Filter by Author
[+]
OR
AND
NOT
1
Aleksander Essex
Carlos Ribeiro
Carsten Schürmann
Chris Culnane
Dirk Pattinson
Filip Zagórski
J. Alex Halderman
Jan Willemson
Jordi Puiggali
Melanie Volkamer
Peter Y. A. Ryan
Philip B. Stark
Poorvi L. Vora
Rajeev Goré
Reto E. Koenig
Robert Krimmer
Roland Wen
Rolf Haenni
Sven Heiberg
Vanessa Teague
Filter by Top terms
[+]
OR
AND
NOT
1
analysis
code
conference
e
election
elections
electronic
id
international
internet
online
proceedings
security
system
systems
verifiable
verification
vote
voter
voting
VOTE-ID (voteid)
Editions
Publications
Viewing Publication 1 - 100 from 133
2019
UnclearBallot: Automated Ballot Image Manipulation
Matthew Bernhard
,
Kartikeya Kandula
,
Jeremy Wink
,
J. Alex Halderman
.
voteid 2019
:
14-31
[doi]
Election Manipulation with Partial Information
Michelle L. Blom
,
Peter J. Stuckey
,
Vanessa J. Teague
.
voteid 2019
:
32-49
[doi]
Online Voting in a First Nation in Canada: Implications for Participation and Governance
Brian Budd
,
Chelsea Gabel
,
Nicole Goodman
.
voteid 2019
:
50-66
[doi]
Online Voting in Ontario Municipal Elections: A Conflict of Legal Principles and Technology?
Anthony Cardillo
,
Nicholas Akinyokun
,
Aleksander Essex
.
voteid 2019
:
67-82
[doi]
The Swiss Post/Scytl Transparency Exercise and Its Possible Impact on Internet Voting Regulation
Ardita Driza-Maurer
.
voteid 2019
:
83-99
[doi]
How do the Swiss Perceive Electronic Voting? Social Insights from an Exploratory Qualitative Research
Emmanuel Fragnière
,
Sandra Grèzes
,
Randolf Ramseyer
.
voteid 2019
:
100-115
[doi]
Improvements in Everlasting Privacy: Efficient and Secure Zero Knowledge Proofs
Thomas Haines
,
Clémentine Gritti
.
voteid 2019
:
116-133
[doi]
Risk-Limiting Tallies
Wojciech Jamroga
,
Peter B. Rønne
,
Peter Y. A. Ryan
,
Philip B. Stark
.
voteid 2019
:
183-199
[doi]
The Swiss Postal Voting Process and Its System and Security Analysis
Christian Killer
,
Burkhard Stiller
.
voteid 2019
:
134-149
[doi]
E-Voting - An Overview of the Development in the Past 15 Years and Current Discussions
Robert Krimmer
,
Melanie Volkamer
,
David Duenas-Cid
.
voteid 2019
:
1-13
[doi]
Electronic Voting - 4th International Joint Conference, E-Vote-ID 2019, Bregenz, Austria, October 1-4, 2019, Proceedings
Robert Krimmer
,
Melanie Volkamer
,
Véronique Cortier
,
Bernhard Beckert
,
Ralf Küsters
,
Uwe Serdült
,
David Duenas-Cid
, editors,
Volume 11759 of
Lecture Notes in Computer Science
, Springer,
2019.
[doi]
On Practical Aspects of Coercion-Resistant Remote Voting Systems
Kristjan Krips
,
Jan Willemson
.
voteid 2019
:
216-232
[doi]
Auditing Indian Elections
Vishal Mohanty
,
Chris Culnane
,
Philip B. Stark
,
Vanessa Teague
.
voteid 2019
:
150-165
[doi]
Election Integrity and Electronic Voting Machines in 2018 Georgia, USA
Kellie Ottoboni
,
Philip B. Stark
.
voteid 2019
:
166-182
[doi]
Technical and Socio-Technical Attacks on the Danish Party Endorsement System
Carsten Schürmann
,
Alessandro Bruni
.
voteid 2019
:
200-215
[doi]
2018
Ballot-Polling Risk Limiting Audits for IRV Elections
Michelle L. Blom
,
Peter J. Stuckey
,
Vanessa J. Teague
.
voteid 2018
:
17-34
[doi]
Computing the Margin of Victory in Preferential Parliamentary Elections
Michelle L. Blom
,
Peter J. Stuckey
,
Vanessa J. Teague
.
voteid 2018
:
1-16
[doi]
The Threat of SSL/TLS Stripping to Online Voting
Anthony Cardillo
,
Aleksander Essex
.
voteid 2018
:
35-50
[doi]
Modular Formalisation and Verification of STV Algorithms
Milad K. Ghale
,
Rajeev Goré
,
Dirk Pattinson
,
Mukesh Tiwari
.
voteid 2018
:
51-66
[doi]
Online Voting in Indigenous Communities: Lessons from Canada
Nicole Goodman
,
Chelsea Gabel
,
Brian Budd
.
voteid 2018
:
67-83
[doi]
Process Models for Universally Verifiable Elections
Rolf Haenni
,
Eric Dubuis
,
Reto E. Koenig
,
Philipp Locher
.
voteid 2018
:
84-99
[doi]
Model Checking the SELENE E-Voting Protocol in Multi-agent Logics
Wojciech Jamroga
,
Michal Knapik
,
Damian Kurpiewski
.
voteid 2018
:
100-116
[doi]
How Much Does an e-Vote Cost? Cost Comparison per Vote in Multichannel Elections in Estonia
Robert Krimmer
,
David Duenas-Cid
,
Iuliia Krivonosova
,
Priit Vinkel
,
Arne Koitmae
.
voteid 2018
:
117-131
[doi]
Electronic Voting - Third International Joint Conference, E-Vote-ID 2018, Bregenz, Austria, October 2-5, 2018, Proceedings
Robert Krimmer
,
Melanie Volkamer
,
Véronique Cortier
,
Rajeev Goré
,
Manik Hapsara
,
Uwe Serdült
,
David Duenas-Cid
, editors,
Volume 11143 of
Lecture Notes in Computer Science
, Springer,
2018.
[doi]
Implementing an Audio Side Channel for Paper Voting
Kristjan Krips
,
Jan Willemson
,
Sebastian Värv
.
voteid 2018
:
132-145
[doi]
The E-voting Readiness Index and the Netherlands
Leontine Loeber
.
voteid 2018
:
146-159
[doi]
Winning the Election, but Losing the Litigation: A Prognosis of Nigerian Judicial Attitudes Toward Evidence Produced from 'E-Accreditation Machines'
Felix Oludare Omosele
.
voteid 2018
:
160-173
[doi]
Risk-Limiting Audits by Stratified Union-Intersection Tests of Elections (SUITE)
Kellie Ottoboni
,
Philip B. Stark
,
Mark Lindeman
,
Neal McBurnett
.
voteid 2018
:
174-188
[doi]
Rounding Considered Harmful
Carsten Schürmann
.
voteid 2018
:
189-202
[doi]
2017
Election Security and Economics: It's All About Eve
David A. Basin
,
Hans Gersbach
,
Akaki Mamageishvili
,
Lara Schmid
,
Oriol Tejada
.
voteid 2017
:
1-20
[doi]
The Weakness of Cumulative Voting
Josh Benaloh
.
voteid 2017
:
57-65
[doi]
Public Evidence from Secret Ballots
Matthew Bernhard
,
Josh Benaloh
,
J. Alex Halderman
,
Ronald L. Rivest
,
Peter Y. A. Ryan
,
Philip B. Stark
,
Vanessa Teague
,
Poorvi L. Vora
,
Dan S. Wallach
.
voteid 2017
:
84-109
[doi]
Cast-as-Intended Mechanism with Return Codes Based on PETs
Achim Brelle
,
Tomasz Truderung
.
voteid 2017
:
264-279
[doi]
Towards a Mechanized Proof of Selene Receipt-Freeness and Vote-Privacy
Alessandro Bruni
,
Eva Drewsen
,
Carsten Schürmann
.
voteid 2017
:
110-126
[doi]
Trust Implications of DDoS Protection in Online Elections
Chris Culnane
,
Mark Eldridge
,
Aleksander Essex
,
Vanessa Teague
.
voteid 2017
:
127-145
[doi]
Updated European Standards for E-voting - The Council of Europe Recommendation Rec(2017)5 on Standards for E-voting
Ardita Driza-Maurer
.
voteid 2017
:
146-162
[doi]
A Formally Verified Single Transferable Voting Scheme with Fractional Values
Milad K. Ghale
,
Rajeev Goré
,
Dirk Pattinson
.
voteid 2017
:
163-182
[doi]
Reverse Bayesian Poisoning: How to Use Spam Filters to Manipulate Online Elections
Hugo Jonker
,
Sjouke Mauw
,
Tom Schmitz
.
voteid 2017
:
183-197
[doi]
Return Code Schemes for Electronic Voting Systems
Shahram Khazaei
,
Douglas Wikström
.
voteid 2017
:
198-209
[doi]
Electronic Voting - Second International Joint Conference, E-Vote-ID 2017, Bregenz, Austria, October 24-27, 2017, Proceedings
Robert Krimmer
,
Melanie Volkamer
,
Nadja Braun Binder
,
Norbert Kersting
,
Olivier Pereira
,
Carsten Schürmann
, editors,
Volume 10615 of
Lecture Notes in Computer Science
, Springer,
2017.
[doi]
Electronic Voting - First International Joint Conference, E-Vote-ID 2016, Bregenz, Austria, October 18-21, 2016, Proceedings
Robert Krimmer
,
Melanie Volkamer
,
Jordi Barrat
,
Josh Benaloh
,
Nicole J. Goodman
,
Peter Y. A. Ryan
,
Vanessa Teague
, editors,
Volume 10141 of
Lecture Notes in Computer Science
, Springer,
2017.
[doi]
Estonian Voting Verification Mechanism Revisited Again
Ivo Kubjas
,
Tiit Pikma
,
Jan Willemson
.
voteid 2017
:
306-317
[doi]
Cryptographic Security Analysis of E-voting Systems: Achievements, Misconceptions, and Limitations
Ralf Küsters
,
Johannes Müller 0001
.
voteid 2017
:
21-41
[doi]
No More Excuses: Automated Synthesis of Practical and Verifiable Vote-Counting Programs for Complex Voting Schemes
Lyria Bennett Moses
,
Rajeev Goré
,
Ron Levy
,
Dirk Pattinson
,
Mukesh Tiwari
.
voteid 2017
:
66-83
[doi]
Voting in E-Participation: A Set of Requirements to Support Accountability and Trust by Electoral Committees
Peter Parycek
,
Michael Sachs
,
Shefali Virkar
,
Robert Krimmer
.
voteid 2017
:
42-56
[doi]
Eos a Universal Verifiable and Coercion Resistant Voting Protocol
Stefan Patachi
,
Carsten Schürmann
.
voteid 2017
:
210-227
[doi]
Clash Attacks and the STAR-Vote System
Olivier Pereira
,
Dan S. Wallach
.
voteid 2017
:
228-247
[doi]
Verifiability Experiences in Government Online Voting Systems
Jordi Puiggali
,
Jordi Cucurull
,
Sandra Guasch
,
Robert Krimmer
.
voteid 2017
:
248-263
[doi]
How Could Snowden Attack an Election?
Douglas Wikström
,
Jordi Barrat
,
Sven Heiberg
,
Robert Krimmer
,
Carsten Schürmann
.
voteid 2017
:
280-291
[doi]
Bits or Paper: Which Should Get to Carry Your Vote?
Jan Willemson
.
voteid 2017
:
292-305
[doi]
2016
Breaching the Privacy of Israel's Paper Ballot Voting System
Tomer Ashur
,
Orr Dunkelman
,
Nimrod Talmon
.
voteid 2017
:
108-124
[doi]
Automatic Margin Computation for Risk-Limiting Audits
Bernhard Beckert
,
Michael Kirsten
,
Vladimir Klebanov
,
Carsten Schürmann
.
voteid 2017
:
18-35
[doi]
Apollo - End-to-End Verifiable Internet Voting with Recovery from Vote Manipulation
Dawid Gawel
,
Maciej Kosarzecki
,
Poorvi L. Vora
,
Hua Wu
,
Filip Zagórski
.
voteid 2017
:
125-143
[doi]
Internet Voting in Sub-national Elections: Policy Learning in Canada and Australia
Nicole Goodman
,
Rodney Smith
.
voteid 2017
:
164-177
[doi]
Simulating STV Hand-Counting by Computers Considered Harmful: A.C.T
Rajeev Goré
,
Ekaterina Lebedeva
.
voteid 2017
:
144-163
[doi]
Cast-as-Intended Verification in Electronic Elections Based on Oblivious Transfer
Rolf Haenni
,
Reto E. Koenig
,
Eric Dubuis
.
voteid 2017
:
73-91
[doi]
Truly Multi-authority 'Prêt-à-Voter'
Thomas Haines
,
Xavier Boyen
.
voteid 2017
:
56-72
[doi]
E-Voting in Developing Countries - Current Landscape and Future Research Agenda
Manik Hapsara
,
Ahmed Imran
,
Timothy Turner 0001
.
voteid 2017
:
36-55
[doi]
Improving the Verifiability of the Estonian Internet Voting Scheme
Sven Heiberg
,
Tarvi Martens
,
Priit Vinkel
,
Jan Willemson
.
voteid 2017
:
92-107
[doi]
Preventing Coercion in E-Voting: Be Open and Commit
Wojciech Jamroga
,
Masoud Tabatabaei
.
voteid 2017
:
1-17
[doi]
Legislating for E-Enabled Elections: Dilemmas and Concerns for the Legislator
Leontine Loeber
.
voteid 2017
:
203-217
[doi]
Electronic Voting as an Additional Method of Participating in Elections. Opinions of Poles
Magdalena Musial-Karg
.
voteid 2017
:
218-232
[doi]
A Risk-Limiting Audit in Denmark: A Pilot
Carsten Schürmann
.
voteid 2017
:
192-202
[doi]
The How and Why to Internet Voting an Attempt to Explain E-Stonia
Priit Vinkel
,
Robert Krimmer
.
voteid 2017
:
178-191
[doi]
2015
Vote Validatability in Mix-Net-Based eVoting
Pedro Bibiloni
,
Alex Escala
,
Paz Morillo
.
voteid 2015
:
92-109
[doi]
Machine-Checked Reasoning About Complex Voting Schemes Using Higher-Order Logic
Jeremy E. Dawson
,
Rajeev Goré
,
Thomas Meumann
.
voteid 2015
:
142-158
[doi]
Making Code Voting Secure Against Insider Threats Using Unconditionally Secure MIX Schemes and Human PSMT Protocols
Yvo Desmedt
,
Stelios Erotokritou
.
voteid 2015
:
110-126
[doi]
2015 Neuchâtel's Cast-as-Intended Verification Mechanism
David Galindo
,
Sandra Guasch
,
Jordi Puiggali
.
voteid 2015
:
3-18
[doi]
E-Voting and Identity - 5th International Conference, VoteID 2015, Bern, Switzerland, September 2-4, 2015, Proceedings
Rolf Haenni
,
Reto E. Koenig
,
Douglas Wikström
, editors,
Volume 9269 of
Lecture Notes in Computer Science
, Springer,
2015.
[doi]
The New South Wales iVote System: Security Failures and Verification Flaws in a Live Online Election
J. Alex Halderman
,
Vanessa Teague
.
voteid 2015
:
35-53
[doi]
Log Analysis of Estonian Internet Voting 2013-2014
Sven Heiberg
,
Arnis Parsovs
,
Jan Willemson
.
voteid 2015
:
19-34
[doi]
Challenging an E-voting System in Court - An Experience Report
Richard Hill
.
voteid 2015
:
161-171
[doi]
Extending Helios Towards Private Eligibility Verifiability
Oksana Kulyk
,
Vanessa Teague
,
Melanie Volkamer
.
voteid 2015
:
57-73
[doi]
Verifiable Internet Elections with Everlasting Privacy and Minimal Trust
Philipp Locher
,
Rolf Haenni
.
voteid 2015
:
74-91
[doi]
Document Analysis Techniques for Automatic Electoral Document Processing: A Survey
J. Ignacio Toledo
,
Jordi Cucurull
,
Jordi Puiggali
,
Alicia Fornés
,
Josep Lladós
.
voteid 2015
:
129-141
[doi]
2013
A Practical Coercion Resistant Voting Scheme Revisited
Roberto Araújo
,
Jacques Traoré
.
voteid 2013
:
193-209
[doi]
Analysis of an Electronic Boardroom Voting System
Mathilde Arnaud
,
Véronique Cortier
,
Cyrille Wiedling
.
voteid 2013
:
109-126
[doi]
On the Specification and Verification of Voting Schemes
Bernhard Beckert
,
Rajeev Goré
,
Carsten Schürmann
.
voteid 2013
:
25-40
[doi]
Towards a Practical Cryptographic Voting Scheme Based on Malleable Proofs
David Bernhard
,
Stephan Neumann
,
Melanie Volkamer
.
voteid 2013
:
176-192
[doi]
A Formal Model for the Requirement of Verifiability in Electronic Voting by Means of a Bulletin Board
Katharina Bräunlich
,
Rüdiger Grimm
.
voteid 2013
:
93-108
[doi]
Vote Casting in Any Preferred Constituency: A New Voting Channel
Jurlind Budurushi
,
Maria Henning
,
Melanie Volkamer
.
voteid 2013
:
61-75
[doi]
Formal Model-Based Validation for Tally Systems
Dermot Cochran
,
Joseph R. Kiniry
.
voteid 2013
:
41-60
[doi]
Prêt à Voter Providing Everlasting Privacy
Denise Demirel
,
Maria Henning
,
Jeroen van de Graaf
,
Peter Y. A. Ryan
,
Johannes Buchmann
.
voteid 2013
:
156-175
[doi]
E-Voting and Identify - 4th International Conference, Vote-ID 2013, Guildford, UK, July 17-19, 2013. Proceedings
James Heather
,
Steve A. Schneider
,
Vanessa Teague
, editors,
Volume 7985 of
Lecture Notes in Computer Science
, Springer,
2013.
[doi]
Dispute Resolution in Accessible Voting Systems: The Design and Use of Audiotegrity
Tyler Kaczmarek
,
John Wittrock
,
Richard Carback
,
Alex Florescu
,
Jan Rubio
,
Noel Runyan
,
Poorvi L. Vora
,
Filip Zagórski
.
voteid 2013
:
127-141
[doi]
Scaling Privacy Guarantees in Code-Verification Elections
Aggelos Kiayias
,
Anthi Orfanou
.
voteid 2013
:
1-24
[doi]
Attacking the Verification Code Mechanism in the Norwegian Internet Voting System
Reto E. Koenig
,
Philipp Locher
,
Rolf Haenni
.
voteid 2013
:
76-92
[doi]
Mental Models of Verifiability in Voting
Maina M. Olembo
,
Steffen Bartsch
,
Melanie Volkamer
.
voteid 2013
:
142-155
[doi]
2012
E-Voting and Identity - Third International Conference, VoteID 2011, Tallinn, Estonia, September 28-30, 2011, Revised Selected Papers
Aggelos Kiayias
,
Helger Lipmaa
, editors,
Volume 7187 of
Lecture Notes in Computer Science
, Springer,
2012.
[doi]
2011
Internet Voting System with Cast as Intended Verification
Jordi Puiggalí Allepuz
,
Sandra Guasch Castelló
.
voteid 2012
:
36-52
[doi]
Trivitas: Voters Directly Verifying Votes
Sergiu Bursuc
,
Gurchetan S. Grewal
,
Mark Dermot Ryan
.
voteid 2012
:
190-207
[doi]
Feasibility Analysis of Prêt à Voter for German Federal Elections
Denise Demirel
,
Maria Henning
,
Peter Y. A. Ryan
,
Steve Schneider
,
Melanie Volkamer
.
voteid 2012
:
158-173
[doi]
Linear Logical Voting Protocols
Henry DeYoung
,
Carsten Schürmann
.
voteid 2012
:
53-70
[doi]
Single Layer Optical-Scan Voting with Fully Distributed Trust
Aleksander Essex
,
Christian Henrich
,
Urs Hengartner
.
voteid 2012
:
122-139
[doi]
The Norwegian Internet Voting Protocol
Kristian Gjøsteen
.
voteid 2012
:
1-18
[doi]
The Application of I-Voting for Estonian Parliamentary Elections of 2011
Sven Heiberg
,
Peeter Laud
,
Jan Willemson
.
voteid 2012
:
208-223
[doi]
The Bug That Made Me President a Browser- and Web-Security Case Study on Helios Voting
Mario Heiderich
,
Tilman Frosch
,
Marcus Niemietz
,
Jörg Schwenk
.
voteid 2012
:
89-103
[doi]
An Efficient and Highly Sound Voter Verification Technique and Its Implementation
Rui Joaquim
,
Carlos Ribeiro
.
voteid 2012
:
104-121
[doi]
Efficient Vote Authorization in Coercion-Resistant Internet Voting
Michael Schläpfer
,
Rolf Haenni
,
Reto E. Koenig
,
Oliver Spycher
.
voteid 2012
:
71-88
[doi]
Transparency and Technical Measures to Establish Trust in Norwegian Internet Voting
Oliver Spycher
,
Melanie Volkamer
,
Reto E. Koenig
.
voteid 2012
:
19-35
[doi]
Sign in
or
sign up
to see more results.