作者: 邊緣 時(shí)間: 2025-3-21 22:06
Ballot-Polling Risk Limiting Audits for IRV Elections, Ballot-polling audits select ballots at random and interpret those ballots as evidence for and against the actual recorded result, continuing this process until either they support the recorded result, or they fall back to a full manual recount. Ballot-polling for first-past-the-post elections is w作者: 迅速成長(zhǎng) 時(shí)間: 2025-3-22 03:53 作者: FRAX-tool 時(shí)間: 2025-3-22 07:17
Modular Formalisation and Verification of STV Algorithms,a uniform way. The framework requires that each instance defines the precise mechanism of counting and transferring ballots, electing and eliminating candidates. From formal proofs of basic sanity conditions for each mechanism inside the Coq theorem prover, we then synthesise code that implements th作者: Abnormal 時(shí)間: 2025-3-22 08:45 作者: 討好女人 時(shí)間: 2025-3-22 14:38 作者: 討好女人 時(shí)間: 2025-3-22 17:15 作者: 我不重要 時(shí)間: 2025-3-23 01:05 作者: 熔巖 時(shí)間: 2025-3-23 05:00 作者: Rankle 時(shí)間: 2025-3-23 08:43
The E-voting Readiness Index and the Netherlands,hen it comes to political willingness to introduce “e-voting”, the legal system concerning elections, the existing technological level and the societal aspects concerning “e-voting”. Special attention is given to the trust that voters stated to have in different voting technologies during the Dutch 作者: 無(wú)聊的人 時(shí)間: 2025-3-23 12:13 作者: AORTA 時(shí)間: 2025-3-23 15:35 作者: 煩人 時(shí)間: 2025-3-23 20:59 作者: 五行打油詩(shī) 時(shí)間: 2025-3-24 00:38
Lecture Notes in Computer Sciencehttp://image.papertrans.cn/e/image/306449.jpg作者: 方舟 時(shí)間: 2025-3-24 02:51 作者: 座右銘 時(shí)間: 2025-3-24 08:30 作者: Frisky 時(shí)間: 2025-3-24 13:00 作者: outrage 時(shí)間: 2025-3-24 18:41
Institutions and International Business, outcome for single-member preferential electorates. In the context of increasing automation of Australian electoral processes, and accusations of deliberate interference in elections in Europe and the USA, this work forms the basis of a rigorous statistical audit of the parliamentary election outco作者: 外貌 時(shí)間: 2025-3-24 22:21
https://doi.org/10.1007/978-81-322-3753-2 Ballot-polling audits select ballots at random and interpret those ballots as evidence for and against the actual recorded result, continuing this process until either they support the recorded result, or they fall back to a full manual recount. Ballot-polling for first-past-the-post elections is w作者: Cerebrovascular 時(shí)間: 2025-3-25 00:45
Creating an Institutional Ethical Identity,etwork based man-in-the-middle attacks that can steal voter credentials and modify ballot selections. In this paper we examine online voting in the context of ., which exploit the situation where a voter types or clicks a URL of the form . or .. Despite the widespread availability of effective prote作者: 冰河期 時(shí)間: 2025-3-25 05:58 作者: 策略 時(shí)間: 2025-3-25 09:42
Keith Griffin,Kimberley Griffins on implementation in Indigenous communities. Drawing on community-engaged survey work with three First Nations in Canada – Tsuut’ina Nation, Wasauksing First Nation and Whitefish River First Nation, 27 interviews with Indigenous leaders, identified experts, online voting vendors and federal govern作者: 鎮(zhèn)痛劑 時(shí)間: 2025-3-25 14:33 作者: 吸引人的花招 時(shí)間: 2025-3-25 16:05
Binganidzo Muchara,Ajuruchukwu Obiization of selected features of the protocol by means of formulae and models of .. We start with a very abstract view of the protocol as a public composition of a secret bijection from tracking numbers to voters and a secret mapping from voters to their choices. Then, we refine the view using multi-作者: 戲服 時(shí)間: 2025-3-25 19:58
,Methodik und Forschungsproze?,l Elections (2017). The elections analyzed involve different processes for casting a vote: Early Voting at County Centers, Advance Voting at County Centers, Advance Voting at Ordinary Voting District Committees, Electronic Voting, Election Day Voting, and Home Voting. Our analysis shows how the admi作者: 誤傳 時(shí)間: 2025-3-26 03:18
Pierre Alary,Jér?me Blanc,Ludovic Desmedtectronic attacks, and those are less detectable by a human than physical ones. This paper contributes to the research of electronic attacks against paper voting by building a proof-of-concept classifier for audio samples recorded while writing numbers. Such a classifier can be used to break the priv作者: Minutes 時(shí)間: 2025-3-26 08:08 作者: uveitis 時(shí)間: 2025-3-26 12:28 作者: 絕食 時(shí)間: 2025-3-26 13:36
Das Nachhaltigkeitskonzept der EthikBanks wrong, an RLA has a known minimum chance of leading to a full manual tally. RLAs generally rely on random samples. Stratified sampling—partitioning the population of ballots into disjoint strata and sampling independently from the strata—may simplify logistics or increase efficiency compared to si作者: Maximizer 時(shí)間: 2025-3-26 17:35
https://doi.org/10.1007/978-3-663-10367-7y is not possible as it would require a fractional allocation of seats. Therefore several methods have been devised to compute seat allocations that differ in the way they try to achieve proportionality. Examples of such methods include the d’Hondt and Sainte-Lagu? methods that allocate seats accord作者: Inferior 時(shí)間: 2025-3-27 00:08 作者: 發(fā)怨言 時(shí)間: 2025-3-27 02:12
Online Voting in Indigenous Communities: Lessons from Canada,s could engage some Indigenous electors to vote more frequently. Notably, we find that online voting is a critical tool to reach and engage off reserve citizens. Finally, we outline a number of good practices for online voting deployment that fall into four themes: (1) community knowledge and engage作者: 拱形面包 時(shí)間: 2025-3-27 06:14 作者: 口音在加重 時(shí)間: 2025-3-27 12:58
Risk-Limiting Audits by Stratified Union-Intersection Tests of Elections (SUITE),rror. The audit can stop if that maximum is less than the risk limit. Voting systems in some Colorado counties (comprising 98.2% of voters) allow auditors to check how the system interpreted each ballot, which allows . RLAs. Other counties use ., which is less efficient. Extant approaches to conduct作者: ineluctable 時(shí)間: 2025-3-27 13:50
Keith Griffin,Kimberley Griffins could engage some Indigenous electors to vote more frequently. Notably, we find that online voting is a critical tool to reach and engage off reserve citizens. Finally, we outline a number of good practices for online voting deployment that fall into four themes: (1) community knowledge and engage作者: 坦白 時(shí)間: 2025-3-27 19:32
Institutionalizing Illness Narratives the hearsay rule..In ascribing weight to the admitted CEEM, this paper proposes a standard that is based on the Relative Plausibility Theory; this standard will ensure that parties’ evidence is fairly evaluated and that winners are not made into losers in the courts.作者: RUPT 時(shí)間: 2025-3-27 23:43
Das Nachhaltigkeitskonzept der EthikBankrror. The audit can stop if that maximum is less than the risk limit. Voting systems in some Colorado counties (comprising 98.2% of voters) allow auditors to check how the system interpreted each ballot, which allows . RLAs. Other counties use ., which is less efficient. Extant approaches to conduct作者: Graphite 時(shí)間: 2025-3-28 02:40 作者: 向外 時(shí)間: 2025-3-28 08:45
Model Checking the SELENE E-Voting Protocol in Multi-agent Logics,ntuitive specification of requirements like coercion-resistance, model checking of . is notoriously hard. We show that some of the complexity can be avoided by using a recent approach of ., based on fixpoint approximations.作者: Peristalsis 時(shí)間: 2025-3-28 12:23 作者: Antimicrobial 時(shí)間: 2025-3-28 14:37 作者: 送秋波 時(shí)間: 2025-3-28 21:40 作者: invade 時(shí)間: 2025-3-28 23:18
Ballot-Polling Risk Limiting Audits for IRV Elections,ell understood, and used in some US elections. We define a number of approaches to ballot-polling risk-limiting audits for Instant Runoff Voting (IRV) elections. We show that for almost all real elections we found, we can perform a risk-limiting audit by looking at only a small fraction of the total ballots (assuming no errors).作者: 協(xié)定 時(shí)間: 2025-3-29 04:22 作者: Countermand 時(shí)間: 2025-3-29 08:59
Implementing an Audio Side Channel for Paper Voting,acy, for example, in case of preferential voting ballot sheets, or voting systems where the voter must fill in the candidate number. We estimate the quality of the classifier and discuss its implications to the physical security measures of polling stations and ballot design.作者: FOLD 時(shí)間: 2025-3-29 14:25 作者: harrow 時(shí)間: 2025-3-29 15:52 作者: Optimum 時(shí)間: 2025-3-29 23:47
The Threat of SSL/TLS Stripping to Online Voting,ntext of ., which exploit the situation where a voter types or clicks a URL of the form . or .. Despite the widespread availability of effective protections, we present a study of voting-related websites finding the overwhelming majority are vulnerable to TLS stripping to some degree, with most offering no explicit protection at all.作者: 要塞 時(shí)間: 2025-3-30 01:49
0302-9743 l with topics connected with electronic voting including experiences and revisions of the real uses of E-voting systems and corresponding processes in elections..978-3-030-00418-7978-3-030-00419-4Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: FISC 時(shí)間: 2025-3-30 05:28 作者: 本能 時(shí)間: 2025-3-30 11:14 作者: Pudendal-Nerve 時(shí)間: 2025-3-30 15:47 作者: Coronary 時(shí)間: 2025-3-30 19:24 作者: 猛擊 時(shí)間: 2025-3-30 22:15 作者: Apogee 時(shí)間: 2025-3-31 03:50
https://doi.org/10.1007/978-3-663-10367-7ing to fractional values. These methods are used in many countries. Numerically, these fractions appear harmless, however they are not. Computers do not work with infinite precision floating point numbers, implementations tend to round the fractions to several digits, which can, with a certain probability, lead to incorrect seat allocations.作者: Spinal-Fusion 時(shí)間: 2025-3-31 08:41 作者: Multiple 時(shí)間: 2025-3-31 10:23
