The insider threat is one of the most pernicious in computer security. Traditional approaches
typically instrument systems with decoys or intrusion detection mechanisms to detect …

In this paper we advocate the use of workflow---describing how a system provides its
intended functionality---as a pillar of cybersecurity analysis and propose a holistic workflow …

This study examined the application of Benford's Law to analyse the 2015 and 2019
presidential election data in Nigeria. Data obtained from the electoral body were analysed …

A process is a collection of steps, carried out using data, by either human or automated
agents, to achieve a specific goal. The agents in our process are insiders, they have access …

We describe the first systematic, quantitative threat evaluation in a local election jurisdiction
in the US, Marin County, California, in the November 2010 general election. We made use of …

This paper describes a systematic approach for incrementally improving the security of
election processes by using a model of the process to develop attack plans and then …

Vote-by-Mail (VBM) has become increasingly popular over the last decade, but the process
is executed differently even between jurisdictions within the same state. Currently, most VBM …

In this article, we present an approach for systematically improving complex processes,
especially those involving human agents, hardware devices, and software systems. We …

The scrutiny surrounding vote-by-mail (VBM) in the United States has increased in recent
years, raising concerns about the integrity and security of absentee voting. This paper …

This paper proposes using resource-aware, discrete-event simulation to measure the effects
of resource scheduling in hospital emergency departments. Determining staffing and …