introduction, electronic, voting, crucial, aspect, governance, expected, reduce, cost, elections, increase, voter, turnout, having, overall, goal, verify, entire, procedure, types, identied, located, polling, physically, supervised, electoral, authorities, via, internet, called, remotely, using, device, connected, level, description, divide, server, main, stages, rst, task, receive, ballots, period, anonymise, nally, decrypt, encrypted, strongly, depend, approach, chosen, code, cannot, distinguished, phase, implemented, mix, nets, set, guarantee, anonymity, mixing, input, veriable, implementations, suitable, scenario, introduced, stated, uncorrupted, bulletin, system, namely, involves, users, submit, vote, item, collection, peerswho, web, publishes, collected, function, ledger, submitted, published, erased, research, require, existence, secure, concrete, proposals, authors, claim, viewed, broadcast, channel, therefore, replicated, implementing, byzantine, agreement, protocol, although, latter, widely, straightforward, purely, common, literature, assume, centralized, trusted, recent, importance, distributed, fault, tolerant, raised, results, presented, thesis, joint, aggelos, kiayas, helger, lipmaa, janno, siim, thomas, zacharias, furthermore, computer, security, conference, study, motivated, requirements, culnane, schneider, introduce, formal, framework, consistent, standards, cryptographic, modelling, analyse, functionality, connection, blockchain, formalize, robust, public, transaction, additionally, provides, receipts, successful, postings, dene, properties, named, persistenceandconrmable, liveness, persistence, intuitively, threshold, peers, approve, removed, successfully, terminate, conrmability, captures, generation, conrmable, behaviour, corrupted, detected, verication, algorithm, signature, scheme, generate, achieve, trivial, normal, digital, non, roughly, based, analysis, propose, fully, dishonest, respectively, enhanced, simple, communication, complexity, contributions, researched, thoroughly, available, including, various, compared, adaptable, dierent, involved, developing, notation, observed, soundness, thus, considers, stability, unremovability, described, formally, weaknesses, precisely, constructed, attacks, proved, achieved, contributed, introducing, re, broadcasting, publishing, execute, optimistic, fallback, sucient, local, records, showed, proposed, tolerating, comparison, detailed, proof, model, overview, reader, backround, cryptography, outline, section, definitions, used, followed, describing, inspired, prove, conclude, related, preliminaries, terminology, global, entity, xhas, internal, clock[, denition, synchronous, following, conditions, process, exist, bounds, execution, ii, xsends, message, ywhen, eventual, delivery, iii, jclock, loose, synchronization, analogously, dened, asynchronous, assumptions, speeds, transmission, delays, drift, rates, polynomial, turing, halts, misprobabilistic, randomness, tape, challenger, cand, adversary, advantage, probability, awins, negligible, parameter, denote, negl, ais, staticif, select, players, corrupt, computation, adaptiveif, chooses, aiscovert, deviate, arbitrarily, specication, attempt, cheat, aas, stateful, maintains, state, across, queries, bitcoin, decentralized, payment, manner, anynomous, minersexecute, extends, garay, et, al, ledgerthat, essence, operation, cryptocurrency, committed, persistenceandliveness, kblocks, \deep, honest, overwhelming, included, assign, traction, permanent, position, agree, originating, account, holders, eventually, depth, meaning, inserted, expand, livenessproperty, informally, hash, compress, arbitrary, length, xed, satisfy, additional, powerful, tool, design, techniques, authenticity, information, collision, resistant, given, thath, random, nd, pr, underlying, simplicity, omit, consists, ecient, denoted, kgen, sig, vf, kgengenerates, keypair, pk, sk, signing, skand, siginputs, mand, vftakes, pkand, mwith, corresponding, valid, existentially, unforgeable, existential, unforgeability, adv, forge, awhere, asig, queried, aaccess, oracle, manages, querying, concept, sharing, known, method, protecting, sby, distributing, amongst, positive, integers, values, tvalues, reveal, swhile, outputs, interactive, sconsists, ve, distkeygen, sharesig, shareverify, tssvf, combine, randomized, tuple, private, ssk, isuch, sskis, possibly, share, iand, moutputting, depending, whether, th, subset, elements, ith, tsign, ill, formed, deterministic, tssis, static, corruption, advforge, asharesig, sskj, jg, fi, jv, achoose, access, seeing, jc, [sj, sis, amade, tolerate, actually, honestly, participation, required, allow, dealer, avoided, independently, generated, mis, equal, mare, combined, concatenating, succeeds, individual, clearly, observe, shared, fssk, ig, gsuch, however, setup, bysais, responsible, generating, initializes, audit, ndenote, byp, nc, interact, post, bywbb, nw, posted, general, sub, contains, publicly, accessible, saspecies, policy, accept, binary, relation, ids, selection, uto, resolving, con, icts, clashing, uof, estonian, uposted, fx, mg, write, engage, interaction, infrastructure, authentication, password, params, started, xusing, uand, xresults, uobtaining, rec[, x], upload, associated, verifyrec, rec[x, verifypub, data, paramsas, check, consistency, clockdenoted, events, init, xby, synchronizing, inc, causes, advance, unit, fsa, [n, c], w], statically, wthe, total, subsystem, oine, iat, i], jat, j], tis, pub, refer, andunremovability, bb, aforementioned, formalise, captured, persistenceand, expresses, xposted, ucannot, added, considering, covert, malicious, verifypubalgorithm, obtain, within, xwill, satised, concurrently, coercion, countermeasure, allowed, multiple, issue, resolved, sto, remove, icting, threat, allowing, prst, xwhich, tan, inconsistent, jreferred, wg, tit, verifypubmust, astatically, wtotal, aprovides, cwith, corr, throughout, cplays, role, include, xwants, transmit, mto, forward, mtoy, amay, incoming, network, invoke, presence, cinitiates, playing, saand, determines, running, initialization, aengage, cacts, behalf, options, control, xof, choice, receiving, cengages, completed, cobtains, winning, fp, ik, [t, ft, min, itc, amust, yby, restriction, initiates, aand, aprovided, cr, tolerance, sary, ait, bbachieves, bounded, loss, respect, specied, upper, ain, xis, bbbe, cbb, describe, vvote, australian, victoria, november, itself, privacy, journals, eld, understandable, clearer, ithe, sskbe, ibe, clashsome, predened, clash, hsome, cg, single, clarity, minimise, confusion, initialized, sabut, address, optimisticprotocol, fallbackprotocol, pis, interval, pand, p], ihas, received, xand, database, xfrom, beginning, databases, directly, details, possible, nor, credential, xit, simply, ichecks, previous, previously, version, ubroadcasts, xwith, xdoes, por, ski, skj, appends, dataset, signed, iadds, adding, uwaits, ucan, uobtains, aaa, executed, ibroadcasts, iwaits, ]n, indicating, below, isends, otherwise, sbe, contents, agreed, wbbreceipt, [p, updates, missing, updated, correctness, terms, transform, theory, renement, represent, abstraction, implements, weaker, adversarial, power, attacking, inconsistently, accompanied, precise, specic, constructions, tsss, due, especially, dn, puser, uposts, rec, [x, blocked, exactly, remaining, wand, violated, online, considered, aware, aected, adversaryais, implies, stopping, failures, detection, delivered, preserved, h], collaboration, remain, inert, anything, hence, weakness, exploited, providing, actual, unknown, recall, view, prec[p, preceding, tduring, union, verifyrecandverifypub, prec, ]o, useful, lemma, thattssis, abe, lett, pbe, wbbreceipt[p, tsuch, contradiction, less, construct, emulates, aresponds, amakes, correct, aqueried, forged, forgery, contradicts, hoft, theorem, letn, cic, tssachieves, letabe, neither, veryfypub, andtss, psuch, pno, later, obtained, cin, pktoa, pkto, collects, pwith, contrary, aoutputs, hof, according, pif, jjh, arguing, similarly, tand, sathat, enhance, ubut, prevents, usets, aaaaaaaa, verifypubaccepts, acannot, completes, pto, trivially, claiming, language, concatenation, longer, classical, cis, rather, original, pat, prior, pwill, taking, tssbe, comp, processes, aagainst, suggests, uengaged, acan, waiting, uis, advancement, posed, xclock, iwill, xat, validity, computes, invalid, created, tssshare, ct, uwill, urequires, finally, consequently, uas, ucomputes, derives, statement, distinct, actions, contributes, generality, treat, consistently, pby, accepting, addition, provided, ascertained, iincludes, xin, xsuch, xupon, reject, xas, resulting, instance, partially, xonly, xto, argue, iaccepts, guaranteed, creates, produce, peters, heather, lundin, krummenacher, dini, stress, focuses, service, focus, achieving, consensus, shown, strictly, faulty, ma, jority, unreasonable, practical, characteristic, replication, replicas, costly, studied, applying, compares, variation, membership, concentrate, studying, somewhat, similar, commit, particular, initmessage, echomessage, commitmessage, conrmations, improve, replaces, stresses, completely, solved, beuchat, currently, operational, justies, setting, reliable, communicate, failing, lack, analysed, cryptographically, identify, unalterable, history, analogue, certied, timely, publication, containing, satises, locking, hashing, scale, brie, discuss, future, seminar, applications, making, faulttolerant, everyone, deleted, detect, insertion, deletion, adequate, overcome, amount, requests, variants, disadvantages, parallel, leading, performance, claimed, lout, lis, cpeers, lpeers, usage, locks, example, kiosk, designed, remote, terminals, addressed, tracking, counted, log, chain, hashed, altered, applied, weak, conclusion, collecting, cotes, inconsistencies, chrondros, addresses, vollection, divided, explicitly, delivering, uniqueness, certicate, voted, nodes, identical, dierence, uploaded, voteset, brachas, computationally, reasonable, perform, interested, pso, opportunity, validate, validated, assured, eligibility, availability, drawbacks, sender, anonymous, needed, validation, assumed, authenticates, casting, foundations, symposium, expanded, eurocrypt, supports, extended, dishonesty, attacked, co, further, benchmarked