• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 11 matches

• 2015
• 
  Pedro Bibiloni, Alex Escala, Paz Morillo:
  Vote Validatability in Mix-Net-Based eVoting. VoteID 2015: 92-109
• 
  Jeremy E. Dawson, Rajeev Goré, Thomas Meumann:
  Machine-Checked Reasoning About Complex Voting Schemes Using Higher-Order Logic. VoteID 2015: 142-158
• 
  Yvo Desmedt, Stelios Erotokritou:
  Making Code Voting Secure Against Insider Threats Using Unconditionally Secure MIX Schemes and Human PSMT Protocols. VoteID 2015: 110-126
• 
  David Galindo, Sandra Guasch, Jordi Puiggali:
  2015 Neuchâtel's Cast-as-Intended Verification Mechanism. VoteID 2015: 3-18
• 
  J. Alex Halderman, Vanessa Teague:
  The New South Wales iVote System: Security Failures and Verification Flaws in a Live Online Election. VoteID 2015: 35-53
• 
  Sven Heiberg, Arnis Parsovs, Jan Willemson:
  Log Analysis of Estonian Internet Voting 2013-2014. VoteID 2015: 19-34
• 
  Richard Hill:
  Challenging an E-voting System in Court - An Experience Report. VoteID 2015: 161-171
• 
  Oksana Kulyk, Vanessa Teague, Melanie Volkamer:
  Extending Helios Towards Private Eligibility Verifiability. VoteID 2015: 57-73
• 
  Philipp Locher, Rolf Haenni:
  Verifiable Internet Elections with Everlasting Privacy and Minimal Trust. VoteID 2015: 74-91
• 
  Juan Ignacio Toledo, Jordi Cucurull, Jordi Puiggali, Alicia Fornés, Josep Lladós:
  Document Analysis Techniques for Automatic Electoral Document Processing: A Survey. VoteID 2015: 129-141
• 
  Rolf Haenni, Reto E. Koenig, Douglas Wikström:
  E-Voting and Identity - 5th International Conference, VoteID 2015, Bern, Switzerland, September 2-4, 2015, Proceedings. Lecture Notes in Computer Science 9269, Springer 2015, ISBN 978-3-319-22269-1 [contents]