A distributed system consists of a set of processes and a set of communication links. A distributed system is said to be self-stabilizing if it converges to a correct system state from arbitrary initial system states. A self-stabilizing system is considered to be a fault tolerant system , since it tolerates any kind and any finite number of transient failures. The leader election and mutual exc...

A distributed system consists of a set of processes and a set of communication links. A distributed system is said to be self-stabilizing if it converges to a correct system state from arbitrary initial system states. A self-stabilizing system is considered to be a fault tolerant system , since it tolerates any kind and any finite number of transient failures. The leader election and mutual exc...

Scientists have requested verifiable electronic voting schemes for many years. These schemes offer individual and universal verifiability by applying and combining complex cryptographic primitives and protocols. Electronic voting systems in use provide less or even no verifiability. Thus election authorities and voters need to trust the provider and developer of the voting system regarding the ...

Collecting statistic from graph-based data is an increasingly studied topic in the data mining community. We argue that these statistics have great value as well in dynamic IoT contexts: they can support complex computational activities involving distributed coordination and provision of situation recognition. We show that the HyperANF algorithm for calculating the neighbourhood function of ver...

Executive Summary The widespread adoption of e-election systems (that is, any IT system used for elections) in Australia has introduced many challenges in ensuring the quality and transparency of our elections. So far the development and operation of e-election systems has been in accordance with standard industry practice. However this is inappropriate for mission critical systems where securi...

This paper presents an aspect of research work that was carried out to resolve the many challenges in Nigeria electoral process. All efforts by Nigerian voters to ensure that their votes are counted and used to declare results in all the general elections conducted failed. The officials saddled with the responsibilities to conduct and declare election results in Nigeria, connived with dubious P...

INTRODUCTION Societies have conducted elections for thousands of years, but technologies used to cast and tally votes have varied and evolved tremendously over that time. In 2015 many of our essential services have moved online, and some people want elections to follow this trend. Overseas voters are particularly interested in an online approach, as their voting processes can require additional...

Elections are defining moments in which the stability of democracies is tested. The behavior of losing parties is key in this stage of the democratic process. In authoritarian regimes, losing parties might reasonably challenge the outcome of elections as consequence of widespread and systematic fraud that reverts the outcome of the election. However, post-election disputes also happen in 21% of...

In a previous paper, Garcia-Molina speci es the leader election problem for synchronous and asynchronous distributed systems with crash and link failures and gives an elegant algorithm for each type of system. This paper points out a aw in GarciaMolina's speci cation of leader election in asynchronous systems and proposes a new speci cation.

While cryptocurrencies continue to gain popularity, their energy cost is increasingly becoming unsustainable. In this paper, we present an innovative scheme which eliminates the burden of the proof of work which is the main cause of the energy waste in cryptocurrencies such as Bitcoin. The scheme is based on a green leader election scheme which guarantees a bounded average number of simultaneou...