In this paper, wc address the question of providing security proofs for signature schemes in the so-called random oracle model [l]. In particular, we establish the generality of this technique against adapt,ively chosen message attacks. Our main application achieves such a security proof for a slight variant of the El Garrial signature schemc [4]where comniitted values are hashed together with the message. This is a rather surprising result since the original El Gamal is, as RSA [ll], subject to cxistcnt,ial forgery.U. Maurer (Ed.): Advances in Cryptology -
International audienceThe aim of electronic voting schemes is to provide a set of protocols that allow voters to cast ballots while a group of authorities collect the votes and output the final tally. In this paper we describe a practical multi-candidate election scheme that guarantees privacy of voters, public verifiablity and robustness against a coalition of malicious authorities. Furthermore, we address the problem of receipt-freeness and incoercibility of voters. Our new scheme is based on the Paillier cryptosystem and on some related zero-knowledge proof techniques. The voting schemes are very practical and can be efficiently implemented in a real system
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.