Search results
-
Using Prêt à Voter in Victoria State Elections
paper we present a case study of our efforts to adapt Prêt à Voter to the idiosyncrasies of elections in ...arnold - December 17, 2021 - 8:52 am
-
Probing the Front Lines: Pollworker Perceptions of Security & Privacy
Joseph Lorenzo Hall, New York University; Emily Barabas, Gregory Shapiro, Deirdre Mulligan, and Coye Cheshire, University of California, Berkeley Voting technologies have undergone intense scrutiny in recent years. In contrast, the human components of ...arnold - December 17, 2021 - 8:52 am
-
Cobra: Toward Concurrent Ballot Authorization for Internet Voting
Aleksander Essex, CHEO Research Institute; Jeremy Clark, Carleton University; Urs Hengartner, University of Waterloo We propose and study the notion of concurrent ballot authorization for coercion-resistant, end-to-end verifiable (E2E) internet vot ...arnold - December 17, 2021 - 8:52 am
-
Coercion-Resistant Electronic Elections with Write-In Candidates
paper provides a formalization of fuzzy tally representations which enables definitions for ...arnold - December 17, 2021 - 8:52 am
-
A Hybrid Touch Interface for Prêt à Voter
Chris Culnane, University of Surrey In this paper we propose a novel front-end for Prêt à Voter ... that aims to maintain the privacy and integrity guarantees found in the paper based version, whilst ... the privacy benefits of paper with the accessibility benefits of a touch screen. It is this ...arnold - December 17, 2021 - 8:52 am
-
Operator-Assisted Tabulation of Optical Scan Ballots
Kai Wang, University of California, San Diego; Nicholas Carlini, Eric Kim, Ivan Motyashov, Daniel Nguyen, and David Wagner, University of California, Berkeley We present OpenCount: a system that tabulates scanned ballots from an election by combining ...arnold - December 17, 2021 - 8:52 am
-
Cryptanalysis of a Universally Verifiable Efficient Re-encryption Mixnet
Shahram Khazaei, Sharif University; Björn Terelius and Douglas Wikström, Royal Institute of Technology We study the heuristically secure mix-net proposed by Puiggalí and Guasch (EVOTE 2010). We present practical attacks on both correctness and privacy ...arnold - December 17, 2021 - 8:52 am
-
Improving Helios with Everlasting Privacy Towards the Public
In this paper we propose improvements on the Helios voting protocol such that the audit data ...arnold - December 17, 2021 - 8:52 am
-
Automated Analysis of Election Audit Logs
Patrick Baxter, Clemson University; Anne Edmundson, Cornell University; Keishla Ortiz, University of Puerto Rico—Arecibo; Ana Maria Quevedo, Miami Dade College; Samuel Rodríguez, University of Puerto Rico—Mayagüez; Cynthia Sturton and David Wagn ...arnold - December 17, 2021 - 8:52 am
-
A Systematic Process-Model-based Approach for Synthesizing Attacks and Evaluating Them
paper describes a systematic approach for incrementally improving the security of election processes by ...arnold - December 17, 2021 - 8:52 am
-
A Bayesian Method for Auditing Elections
to ballot-polling audits, which work just from the paper ballots, and to comparison audits, which ... work by comparing the paper ballots to their electronic representations. The procedure is quite simple ...arnold - December 17, 2021 - 8:52 am
-
BRAVO: Ballot-polling Risk-limiting Audits to Verify Outcomes
modest for large contests, such as county-wide or state-wide races. This paper describes BRAVO, ...arnold - December 17, 2021 - 8:52 am
-
Read It Twice! A Mass-Storage-Based TOCTTOU Attack
Laboratories Awarded Best Paper! Consumer electronics and embedded devices often allow the installation of ...michele - December 17, 2021 - 9:52 am
-
Flat Datacenter Storage
Edmund B. Nightingale, Jeremy Elson, and Jinliang Fan, Microsoft Research; Owen Hofmann, University of Texas at Austin; Jon Howell and Yutaka Suzue, Microsoft Research Flat Datacenter Storage (FDS) is a high-performance, fault-tolerant, large-scale, ...arnold - December 16, 2021 - 2:52 pm
-
GraphChi: Large-Scale Graph Computation on Just a PC
Aapo Kyrola and Guy Blelloch, Carnegie Mellon University; Carlos Guestrin, University of Washington Current systems for graph computation require a distributed computing cluster to handle very large real-world problems, such as analysis on social networks ...arnold - December 16, 2021 - 2:52 pm
-
PowerGraph: Distributed Graph-Parallel Computation on Natural Graphs
abstractions, limiting performance and scalability. In this paper, we characterize the challenges of computation ...arnold - December 16, 2021 - 3:52 pm
-
Hails: Protecting Data Privacy in Untrusted Web Applications
code while enforcing flexible, end-to-end policies on data access. This paper presents a new web ...arnold - December 16, 2021 - 3:52 pm
-
Eternal Sunshine of the Spotless Machine: Protecting Privacy with Ephemeral Channels
show in this paper, an adversary who gains access to a Linux system, even one that implements secure ...arnold - December 16, 2021 - 3:52 pm
-
CleanOS: Limiting Mobile Data Exposure with Idle Eviction
This paper presents CleanOS, a new Android-based operating system that manages sensitive data ...arnold - December 16, 2021 - 3:52 pm
-
COMET: Code Offload by Migrating Execution Transparently
Chen, AT&T Labs—Research In this paper we introduce a runtime system to allow unmodified ...arnold - December 16, 2021 - 3:52 pm
-
AppInsight: Mobile App Performance Monitoring in the Wild
Lenin Ravindranath, Jitendra Padhye, Sharad Agarwal, Ratul Mahajan, Ian Obermiller, and Shahin Shayandeh, Microsoft Research The mobile-app marketplace is highly competitive. To maintain and improve the quality of their apps, developers need data about ho ...arnold - December 16, 2021 - 3:52 pm
-
Spotting Code Optimizations in Data-Parallel Pipelines through PeriSCOPE
programmability, this paper describes PeriSCOPE, which automatically optimizes a data-parallel program’s procedural ...arnold - December 16, 2021 - 3:52 pm
-
MegaPipe: A New Programming Interface for Scalable Network I/O
Sangjin Han and Scott Marshall, University of California, Berkeley; Byung-Gon Chun, Yahoo! Research; Sylvia Ratnasamy, University of California, Berkeley We present MegaPipe, a new API for efficient, scalable network I/O for message-oriented workloads. Th ...arnold - December 16, 2021 - 3:52 pm
-
DJoin: Differentially Private Join Queries over Distributed Databases
Arjun Narayan and Andreas Haeberlen, University of Pennsylvania In this paper, we study the ...arnold - December 16, 2021 - 3:52 pm
-
Improving Integer Security for Systems with KINT
because they allow exploits such as buffer overflow and privilege escalation. This paper presents KINT, ... the paper further proposes a new integer family with NaN semantics to help developers avoid integer ...arnold - December 16, 2021 - 3:52 pm