Search results
-
Proving Prêt à Voter Receipt Free Using Computational Security Models
voted. In this paper we propose a variant of Prêt à Voter and prove receipt freeness of this scheme using ...michele - December 15, 2021 - 5:52 am
-
From Helios to Zeus
Georgios Tsoukalas, Kostas Papadimitriou, and Panos Louridas, Greek Research and Education Network; Panayiotis Tsanakas, National Technical University of Athens We present Zeus, a verifiable internet ballot casting and counting system based on Helios, in ...michele - December 15, 2021 - 5:52 am
-
STAR-Vote: A Secure, Transparent, Auditable, and Reliable Voting System
paper describes the current design of STAR-Vote which is now largely settled and whose development will ...michele - December 15, 2021 - 5:52 am
-
Rethinking Voter Coercion: The Realities Imposed by Technology
Josh Benaloh, Microsoft Research When the Australian secret ballot was introduced in the 1850s, it not only provided privacy for those voters who wanted it, but it also effectively eliminated coercion by allowing no viable means for voters to prove their ...michele - December 15, 2021 - 5:52 am
-
Improved Support for Machine-assisted Ballot-level Audits
Wang, University of California, San Diego; David Wagner, University of California, Berkeley This paper ...michele - December 15, 2021 - 6:52 am
-
An Analysis of Long Lines in Richland County, South Carolina
counties in the nation for lines and wait times. In this paper, we analyze the data from the DREs used for ...michele - December 15, 2021 - 6:52 am
-
Building Software Environments for Research Computing Clusters
Mark Howison, Aaron Shen, and Andrew Loomis, Brown University Over the past two years, we have built a diverse software environment of over 200 scientific applications for our research computing platform at Brown University. In this report, we share the ...arnold - December 14, 2021 - 1:52 pm
-
Fixing On-call, or How to Sleep Through the Night
weekends for the on-call sysadmin. This paper looks at a mature Nagios system that has been in continuous ...arnold - December 14, 2021 - 1:52 pm
-
Live Upgrading Thousands of Servers from an Ancient Red Hat Distribution to 10 Year Newer Debian Based One
The end of the paper summarizes how we designed our packaging system for the new distribution, as well ...arnold - December 14, 2021 - 1:52 pm
-
Managing Smartphone Testbeds with SmartLab
and time-consuming process that poses significant logistical challenges. In this paper, we make three ... architecture. This paper also overviews experiences of using SmartLab in a research-oriented setting and also ...arnold - December 14, 2021 - 1:52 pm
-
YinzCam: Experiences with In-Venue Mobile Video and Replays
Nathan D. Mickulicz, Priya Narasimhan, and Rajeev Gandhi, YinzCam, Inc., and Carnegie Mellon University YinzCam allows sport fans inside NFL/NHL/NBA venues to enjoy replays and live-camera angles from different perspectives, on their smartphones. We descr ...arnold - December 14, 2021 - 2:52 pm
-
HotSnap: A Hot Distributed Snapshot System For Virtual Machine Cluster
paper proposes HotSnap, a VMC snapshot approach designed to enable taking hot distributed snapshot with ...arnold - December 14, 2021 - 2:52 pm
-
Supporting Undoability in Systems Operations
this paper, we consider the particular needs of the system administrators managing API-controlled ...arnold - December 14, 2021 - 2:52 pm
-
Back to the Future: Fault-tolerant Live Update with Time-traveling State Transfer
Tanenbaum, Vrije Universiteit, Amsterdam Awarded Best Student Paper! Live update is a promising solution ... effort involved. This paper presents time-traveling state transfer, a new automated and fault-tolerant ...arnold - December 14, 2021 - 2:52 pm
-
Challenges to Error Diagnosis in Hadoop Ecosystems
Cloud System Administration Jim (Zhanwen) Li, NICTA; Siyuan He, Citibank; Liming Zhu, NICTA and University of New South Wales; Xiwei Xu, NICTA; Min Fu, University of New South Wales; Len Bass and Anna Liu, NICTA and University of New South Wales; An Binh ...arnold - December 14, 2021 - 3:52 pm
-
Installation of an External Lustre Filesystem using Cray esMS management and Lustre 1.8.6
paper we will look at the installation of multiple separate Lustre 1.8.6 filesystems attached to the Los ...arnold - December 14, 2021 - 3:52 pm
-
Poncho: Enabling Smart Administration of Full Private Clouds
organization, this creates new barriers to effective communication and resource usage. In this paper, we present ...michele - December 14, 2021 - 4:52 pm
-
Making Problem Diagnosis Work for Large-Scale, Production Storage Systems
Michael P. Kasick and Priya Narasimhan, Carnegie Mellon University; Kevin Harms, Argonne National Laboratory Intrepid has a very-large, production GPFS storage system consisting of 128 file servers, 32 storage controllers, 1152 disk arrays, and 11,520 ...michele - December 14, 2021 - 4:52 pm
-
dsync: Efficient Block-wise Synchronization of Multi-Gigabyte Binary Data
Thomas Knauth and Christof Fetzer, Technische Universität Dresden Awarded Best Paper! Backing ...michele - December 14, 2021 - 4:52 pm
-
Is it the Typeset or the Type of Statistics? Disfluent Font does not Reduce Self-disclosure
(390 participants throughout the United States), on tablets (93 students) and with pen and paper (three ... studies with 89, 61, and 59 students). The pen and paper studies replicated the original study exactly. We ... data and our data using the same statistical test (paired t-test) as used in the original paper, and ...michele - December 14, 2021 - 4:52 pm
-
Experimental Security Analyses of Non-Networked Compact Fluorescent Lamps: A Case Study of Home Automation Security
Temitope Oluwafemi, Tadayoshi Kohno, Sidhant Gupta, and Shwetak Patel, University of Washington Background. With a projected rise in the procurement of home automation systems, we experimentally investigate security risks that homeowners might be exposed ...michele - December 14, 2021 - 4:52 pm
-
Libra: Divide and Conquer to Verify Forwarding Tables in Huge Networks
Hongyi Zeng, Stanford University; Shidong Zhang and Fei Ye, Google; Vimalkumar Jeyakumar, Stanford University; Mickey Ju and Junda Liu, Google; Nick McKeown, Stanford University; Amin Vahdat, Google and University of California, San Diego Data cen ...michele - December 14, 2021 - 2:52 am
-
SENIC: Scalable NIC for End-Host Rate Limiting
Sivasankar Radhakrishnan, University of California, San Diego; Yilong Geng and Vimalkumar Jeyakumar, Stanford University; Abdul Kabbani, Google Inc.; George Porter, University of California, San Diego; Amin Vahdat, Google Inc. and University of Cal ...michele - December 14, 2021 - 2:52 am
-
Aggregation and Degradation in JetStream: Streaming Analytics in the Wide Area
Ariel Rabkin, Matvey Arye, Siddhartha Sen, Vivek S. Pai, and Michael J. Freedman, Princeton University We present JetStream, a system that allows real-time analysis of large, widely-distributed changing data sets. Traditional approaches to distributed ana ...michele - December 14, 2021 - 2:52 am
-
Catch the Whole Lot in an Action: Rapid Precise Packet Loss Notification in Data Center
Peng Cheng, Fengyuan Ren, Ran Shu, and Chuang Lin, Tsinghua University An increasing number of TCP performance issues including TCP Incast, TCP Outcast, and long query completion times are common in large-scale data centers. We demonstrate that the root c ...michele - December 14, 2021 - 2:52 am