introduction, electronic, voting, crucial, aspect, governance, expected, reduce, elections, increase, voter, turnout, verify, entire, election, procedure, types, identied, located, polling, physically, supervised, electoral, authorities, via, internet, called, remotely, using, device, connected, description, server, main, rst, ballots, period, anonymise, nally, decrypt, encrypted, strongly, approach, code, distinguished, phase, implemented, servers, guarantee, anonymity, mixing, input, veriable, implementations, suitable, scenario, introduced, stated, voters, uncorrupted, bulletin, system, namely, involves, users, submit, item, collection, peerswho, publishes, collected, function, ledger, submitted, published, erased, research, require, existence, secure, concrete, systems, proposals, claim, viewed, channel, therefore, replicated, implementing, byzantine, agreement, protocol, although, latter, widely, implementation, straightforward, approaches, purely, protocols, common, literature, assume, centralized, trusted, recent, importance, distributed, tolerant, raised, results, presented, thesis, joint, aggelos, kiayas, helger, lipmaa, janno, siim, thomas, zacharias, furthermore, computer, security, conference, motivated, requirements, culnane, schneider, introduce, formal, framework, consistent, standards, cryptographic, modelling, analyse, functionality, connection, blockchain, formalize, robust, transaction, additionally, provides, receipts, successful, postings, dene, properties, named, persistenceandconrmable, liveness, persistence, property, intuitively, threshold, peers, approve, removed, successfully, terminate, conrmability, captures, generation, conrmable, behaviour, corrupted, detected, verication, algorithm, signature, scheme, generate, achieve, achieves, trivial, normal, digital, signatures, non, roughly, based, analysis, propose, dishonest, respectively, enhanced, communication, complexity, contributions, researched, thoroughly, available, including, various, compared, adaptable, dierent, involved, developing, notation, observed, soundness, thus, considers, stability, unremovability, described, formally, precisely, constructed, proved, achieved, contributed, introducing, re, broadcasting, publishing, execute, optimistic, fallback, sucient, local, showed, proposed, tolerating, comparison, detailed, proof, model, proofs, overview, provide, backround, cryptography, section, definitions, followed, describing, inspired, conclude, related, preliminaries, terminology, consider, global, entity, xhas, internal, clock[, denition, synchronous, conditions, process, exist, bounds, execution, ii, xsends, ywhen, eventual, delivery, iii, jclock, synchronization, analogously, dened, asynchronous, assumptions, transmission, delays, polynomial, turing, misprobabilistic, randomness, denitions, challenger, cand, adversary, advantage, probability, awins, negligible, parameter, exists, denote, negl, ais, staticif, corrupt, computation, adaptiveif, aiscovert, deviate, arbitrarily, specication, attempt, aas, stateful, maintains, across, queries, adversaries, bitcoin, decentralized, manner, anynomous, minersexecute, extends, garay, et, al, ledgerthat, essence, bitcoins, operation, cryptocurrency, guarantees, committed, transactions, persistenceandliveness, kblocks, \deep, overwhelming, included, assign, traction, permanent, position, claims, originating, eventually, depth, meaning, inserted, expand, livenessproperty, informally, requirement, terminates, hash, functions, compress, arbitrary, result, xed, satisfy, additional, design, techniques, authenticity, information, collision, resistant, thath, random, nd, pr, schemes, parameters, underlying, simplicity, omit, consists, ecient, algorithms, 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, method, protecting, sby, distributing, amongst, positive, integers, tvalues, reveal, swhile, outputs, interactive, sconsists, ve, distkeygen, sharesig, shareverify, tssvf, combine, randomized, output, tuple, private, ssk, isuch, sskis, sski, possibly, iand, moutputting, depending, whether, th, iis, subset, elements, ith, tsign, formed, deterministic, js, tssis, static, corruption, advforge, asharesig, sskj, jg, fi, query, jv, achoose, access, jc, [sj, sis, amade, tolerate, actually, honestly, participation, required, dealer, avoided, integer, independently, generated, mis, combined, concatenating, succeeds, individual, clearly, observe, shared, fssk, ig, gsuch, entities, setup, authority, bysais, responsible, generating, initializes, inputs, items, audit, ndenote, byp, nc, interact, publish, bywbb, nw, posted, sub, contains, publicly, accessible, peer, saspecies, posting, policy, binary, relation, user, ids, selection, uto, resolving, con, icts, clashing, uof, estonian, uposted, fx, mg, engage, interaction, standard, infrastructure, authentication, password, params, capture, started, xusing, uand, xresults, uobtaining, receipt, rec[, x], upload, associated, verifyrec, rec[x, verifypub, data, paramsas, consistency, clockdenoted, events, event, 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, extend, considering, covert, malicious, verifypubalgorithm, submits, obtain, within, xwill, satised, concurrently, coercion, countermeasure, allowed, multiple, issue, resolved, sto, icting, us, threat, allowing, prst, xwhich, special, inconsistent, jreferred, wg, tit, verifypubmust, astatically, corrupts, wtotal, aprovides, cwith, corr, throughout, cplays, role, include, xwants, transmit, mto, mtoy, amay, incoming, network, invoke, presence, cinitiates, playing, saand, determines, initialization, aengage, cacts, behalf, options, control, initialize, xof, receiving, cengages, completed, cobtains, winning, fp, ik, [t, ft, min, itc, amust, yby, restriction, initiates, aand, cengage, ts, aprovided, engages, zs, cr, tolerance, thresholds, sary, ait, bbachieves, bounded, loss, respect, specied, ain, xis, bbbe, cbb, delay, bound, vvote, australian, victoria, november, privacy, journals, eld, understandable, clearer, ithe, sskbe, ibe, clashsome, predened, clash, hsome, cg, clarity, minimise, confusion, initialized, sabut, address, periods, optimisticprotocol, fallbackprotocol, pis, interval, pand, p], ihas, received, xand, database, xfrom, databases, directly, details, relations, credential, xit, simply, ichecks, previous, previously, version, ubroadcasts, xwith, xdoes, por, skj, appends, dataset, signed, iadds, adding, uwaits, ucan, uobtains, aaa, executed, ibroadcasts, iwaits, ]n, indicating, isends, sbe, contents, agreed, wbbreceipt, [p, updates, missing, updated, correctness, transform, theory, renement, represent, abstraction, implements, weaker, restrictions, adversarial, attacking, inconsistently, accompanied, precise, assumes, specic, constructions, tsss, especially, dn, wbbreceipts, puser, uposts, rec, [x, blocked, exactly, remaining, wand, violated, tolerates, online, considered, assumption, aware, aected, adversaryais, implies, failures, detection, delivered, option, preserved, obtains, h], deviates, collaboration, inert, hence, weakness, exploited, providing, actual, recall, prec[p, preceding, tduring, union, verifyrecandverifypub, prec, ]o, lemma, thattssis, abe, lett, pbe, wbbreceipt[p, tsuch, contradiction, less, construct, invokes, emulates, aresponds, amakes, aqueried, forged, forgery, contradicts, hoft, theorem, letn, cic, tssachieves, letabe, veryfypub, andtss, psuch, pno, later, obtained, cin, pktoa, assigns, pkto, usual, interacts, collects, pwith, contrary, aoutputs, hof, according, pif, construction, jjh, arguing, similarly, tand, sathat, enhance, ubut, prevents, usets, aaaaaaaa, theorems, verifypubaccepts, acannot, completes, pto, trivially, requires, claiming, concatenation, longer, classical, cis, original, prior, pwill, tssbe, comp, processes, aagainst, suggests, uengaged, condition, acan, waiting, uis, advancement, posed, xclock, iwill, xat, validity, computes, ubroadcast, invalid, created, tssshare, ct, uwill, tssshares, urequires, consequently, uas, ucomputes, derives, statement, distinct, actions, contributes, generality, consistently, pby, accepting, addition, provided, complete, ascertained, iincludes, xin, xsuch, xupon, reject, xas, resulting, instance, partially, xonly, xto, argue, iaccepts, guaranteed, creates, produce, create, append, concludes, peters, heather, lundin, krummenacher, dini, stress, focuses, journal, focus, problem, achieving, consensus, shown, strictly, faulty, jority, unreasonable, practical, characteristic, replication, replicas, costly, studied, applying, models, implement, variation, membership, concentrate, studying, descriptions, somewhat, similar, commit, particular, initmessage, reply, echomessage, commitmessage, conrmations, constructs, replaces, stresses, completely, solved, beuchat, maintain, currently, operational, includes, justies, reliable, communicate, failing, lack, analysed, cryptographically, lundins, identify, unalterable, analogue, certied, timely, publication, containing, satises, locking, hashing, brie, discuss, future, krummenachers, seminar, proposes, applications, faulttolerant, deleted, detect, insertion, deletion, adequate, overcome, versions, requests, variants, disadvantages, parallel, leading, performance, claimed, lout, lis, variant, cpeers, lpeers, usage, example, kiosk, designed, collect, remote, terminals, addressed, tracking, counted, hashed, altered, applied, conclusion, collecting, cotes, inconsistencies, chrondros, issues, vollection, divided, explicitly, delivering, communicates, uniqueness, certicate, ballot, voted, nodes, identical, dierence, uploaded, voteset, brachas, computationally, reasonable, perform, pso, opportunity, validate, validated, assured, eligibility, availability, drawbacks, sender, anonymous, needed, validation, assumed, authenticates, casting, channels, foundations, symposium, expanded, eurocrypt, supports, extended, dishonesty, attacked, co, benchmarked