Search

By now, many voting protocols have been proposed that, among others, are designed to achieve coercion-resistance, i.e., resistance to vote buying and voter coercion. Scantegrity II is among the most prominent and successful such protocols in that it has been used in several elections. However, almost none of the modern voting protocols used in practice, including Scantegrity II, has undergone a rigorous cryptographic analysis. In this paper, we prove that Scantegrity II enjoys an optimal level of coercion-resistance, i.e., the same level of coercion-resistance as an ideal voting protocol (which merely reveals the outcome of the election), except for so-called forced abstention attacks. This result is obtained under the (necessary) assumption that the workstation used in the protocol is honest. Our analysis is based on a rigorous cryptographic definition of coercionresistance we recently proposed. We argue that this definition is in fact the only existing cryptographic definition of coercion-resistance suitable for analyzing Scantegrity II. Our case study should encourage and facilitate rigorous cryptographic analysis of coercion-resistance also for other voting protocols used in practice. [ABSTRACT FROM AUTHOR]

Dynamic protein phosphorylation, a major cellular regulatory system, is tightly controlled by coordinating the reversible action of protein kinases and phosphatases. Recent evidence is consistent with sophisticated mechanisms that regulate both kinases and phosphatases in the cell. Dual specificity phosphatases, which act on phosphorylated serine, threonine, and tyrosine residues in proteins, are valid targets for drug discovery. Chemical complementation combines genetic manipulations with chemical biology and high-content multiparametric analyses and was developed as a screening approach to discover protein phosphatase inhibitors. Using a dual specificity mitogen-activated protein kinase phosphatase as an example, a detailed protocol, discussion of issues relating to data analysis, and high-throughput implementation of the chemical complementation approach to drug discovery is presented. [ABSTRACT FROM AUTHOR]