Civitas is the first electronic voting system that is coercion-resistant, universally and voter
verifiable, and suitable for remote voting. This paper describes the design and …

Clearly, nature has been very effective in creating organisms that are capable of protecting
themselves against a wide variety of pathogens such as bacteria, fungi, and parasites. The …

The efficacy of anomaly detection (AD) sensors depends heavily on the quality of the data
used to train them. Artificial or contrived training data may not provide a realistic view of the …

Over the past several years, US-CERT advisories, as well as most critical updates from
software vendors, have been due to memory corruption vulnerabilities such as buffer …

Attacks that exploit memory errors are still a serious problem. We present data
randomization, a new technique that provides probabilistic protection against these attacks …

Unlike other diversity-based approaches, N-variant systems thwart attacks without requiring
secrets. Instead, they use redundancy (to require an attacker to simultaneously compromise …

New single-machine environments are emerging from abundant computation available
through multiple cores and secure virtualization. In this paper, we describe the research …

Because of cost and resource constraints, sensor nodes do not have a complicated
hardware architecture or operating system to protect program safety. Hence, the notorious …

Multi-variant execution allows detecting exploited vulnerabilities before they can cause any
damage to systems. In this execution method, two or more slightly different variants of the …

Worm containment must be automatic because worms can spread too fast for humans to
respond. Recent work proposed network-level techniques to automate worm containment; …