Redundancy techniques are commonly used to design dependable systems to ensure high reliability, availability and data integrity. Triple Modular Redundancy (TMR) is a widely used redundancy technique that masks faults. In a TMR system, we have three implementations of the same logic function and their outputs are voted using a voter circuit. In this paper, we present a new voter design called t...

We introduce a simple model of opinion dynamics in which binary-state agents evolve due to the influence of agents in a local neighborhood. In a single update step, a fixed-size group is defined and all agents in the group adopt the state of the local majority with probability p or that of the local minority with probability 1-p. For group size G=3, there is a phase transition at p(c)=2/3 in al...

Voters have many motivations. Some vote on the issues. They for a candidate because they share that candidate's policy positions. performance. think will produce best outcomes in office. group identities. is connected to their social group. This paper about these I address three questions. First, which of motivations, were it widespread, would be intrinsic democratic values? Second, how do moti...

This paper presents a new framework for an electronic voting system in which a voter can vote not only from his home poll-site, but from any poll-site, in a manner that guarantees total voter anonymity and privacy. The core concentration of our work is the design of a mechanism in which a voter can be given a receipt to acknowledge his vote and at the same time preventing any occurrence of vote...

I analyze the effect of a sequential election system when the first voter has private information using a simple two candidate, two voter model in which the second voter is decisive. Both voters observe the candidates’ policy positions, but only the first voter observes which candidate is competent. I show that in equilibrium the candidates pander to the policy preferences of the first voter. D...

Despite the centrality of the median voter prediction in political economy models, overwhelming empirical evidence shows that legislators regularly take positions that diverge significantly from the preferences of the median voter in their districts. However, all these empirical studies to date lack the necessary data to directly measure the preferences of the median voter. We utilize a unique ...

The present paper studies the Hotelling-Downs and the Wittman-Roemer models of two-party competition when voter conformism is present and the policy space is uni-dimensional. We consider two types of voter conformism, bandwagon and underdog, and study their effects on political equilibrium of the two models. Even if voter conformism is present, the Hotelling-Downs parties propose an identical p...

We describe a practical e-voting protocol which guarantees e-voting protocol requirements: eligibility, privacy, accuracy, fairness, receipt-freeness, uncoercibility, robustness and verifiability. Unlike existing blind signature based protocols, in which the authority blindly signs ballot or part of ballot, the authority in our protocol blindly signs voter’s pseudo identity. Hereafter, voter be...