Search results for "voter"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
162	Subhasish Mitra, Edward J. McCluskey	Word Voter: A New Voter Design for Triple Modular Redundant Systems.	VTS	2000	DBLP DOI BibTeX RDF	Word-Voter, TMR-Simplex, data integrity, Triple Modular redundancy (TMR), Voter
115	Orhan Cetinkaya, Ali Doganaksoy	Pseudo-Voter Identity (PVID) Scheme for e-Voting Protocols.	ARES	2007	DBLP DOI BibTeX RDF
103	Hugo L. Jonker, Sjouke Mauw, Jun Pang 0001	Measuring Voter-Controlled Privacy.	ARES	2009	DBLP DOI BibTeX RDF
103	Rui Joaquim, Carlos Ribeiro, Paulo Ferreira 0001	VeryVote: A Voter Verifiable Code Voting System.	VoteID	2009	DBLP DOI BibTeX RDF	Code voting, election integrity, Internet voting
91	Hayssam El-Razouk, Zine Abid	A New Transistor-Redundant Voter for Defect-Tolerant Digital Circuits.	CCECE	2006	DBLP DOI BibTeX RDF
87	Paul S. Herrnson, Richard G. Niemi, Benjamin B. Bederson, Frederick G. Conrad, Michael Traugott	A project to assess voting technology and ballot design.	DG.O	2005	DBLP BibTeX RDF	direct recording electronic voting systems, office bloc ballot, optical scan voting systems, paper trail, straight-party device, voter accuracy, voter confidence, voter trust, elections
85	Aggelos Kiayias, Moti Yung	Self-tallying Elections and Perfect Ballot Secrecy.	Public Key Cryptography	2002	DBLP DOI BibTeX RDF
78	Gholamreza Latif Shabgahi, Julian M. Bass, Stuart Bennett	Simulation of a Component-Oriented Voter Library for Dependable Control Applications.	EUROMICRO	1998	DBLP DOI BibTeX RDF	Component-Oriented Model, Simulation, Fault-Tolerance, Voting, Fault-Masking
70	Sébastien Foulle, Steve A. Schneider, Jacques Traoré, Zhe Xia	Threat Analysis of a Practical Voting Scheme with Receipts.	VOTE-ID	2007	DBLP DOI BibTeX RDF	Voter verifiable, voting ducks, electronic voting, threat analysis
68	Scott P. Robertson	Voter-centered design: Toward a voter decision support system.	ACM Trans. Comput. Hum. Interact.	2005	DBLP DOI BibTeX RDF	voter support system, digital government, Electronic voting, social filtering
63	Edoardo Biagioni, Yingfei Dong, Wesley Peterson, Kazuo Sugihara	Practical distributed voter-verifiable secret ballot system.	SAC	2009	DBLP DOI BibTeX RDF	secret ballot, voter verifiable, end-to-end, voting systems
63	Changjie Wang, Ho-fung Leung	A secure voter-resolved approval voting protocol over internet.	ICEC	2005	DBLP DOI BibTeX RDF	approval voting, universal verification, voter-resolved, security, privacy protection, electronic voting, ElGamal encryption
61	Miroslaw Kutylowski, Filip Zagórski	Verifiable Internet Voting Solving Secure Platform Problem.	IWSEC	2007	DBLP DOI BibTeX RDF	vote selling, anonymity, electronic voting, coercion resistance
61	Rui Joaquim, Carlos Ribeiro	CodeVoting Protection Against Automatic Vote Manipulation in an Uncontrolled Environment.	VOTE-ID	2007	DBLP DOI BibTeX RDF	vote manipulation, Internet voting
61	David L. Dill	I Think I Voted: E-Voting vs. Democracy.	CAV	2006	DBLP DOI BibTeX RDF
61	David L. Dill	The battle of accountable voting systems.	MEMOCODE	2004	DBLP DOI BibTeX RDF
61	Julian M. Bass, Gholamreza Latif Shabgahi, Stuart Bennett	Experimental Comparison of Voting Algorithms in Cases of Disagreement.	EUROMICRO	1997	DBLP DOI BibTeX RDF
59	David Chaum	Secret-Ballot Receipts: True Voter-Verifiable Elections.	IEEE Secur. Priv.	2004	DBLP DOI BibTeX RDF	voter fraud, voter receipts, e-voting
54	Samar Dajani-Brown, Darren D. Cofer, Gary Hartmann, Steve Pratt	Formal Modeling and Analysis of an Avionics Triplex Sensor Voter.	SPIN	2003	DBLP DOI BibTeX RDF
54	Gholamreza Latif Shabgahi, Stuart Bennett	Adaptive Majority Voter: A Novel Voting Algorithm for Real-Time Fault-Tolerant Control Systems.	EUROMICRO	1999	DBLP DOI BibTeX RDF
54	Craig A. Burton	A thin client for networked access to a central register and electronic voting terminal.	ICEGOV	2008	DBLP DOI BibTeX RDF	multi-channel voting, multi-modal voting, systems pilots, voter registers, voter rolls, electronic voting, elections, internet voting
52	Jacquelyn A. Burkell, Priscilla M. Regan	Voter preferences, voter manipulation, voter analytics: policy options for less surveillance and more autonomy.	Internet Policy Rev.	2019	DBLP DOI BibTeX RDF
50	José Manuel Cazeaux, Daniele Rossi 0001, Cecilia Metra	Self-Checking Voter for High Speed TMR Systems.	J. Electron. Test.	2005	DBLP DOI BibTeX RDF	high reliabily, duplication and comparison, self-checking, voter, TMR systems
49	Chung-Huang Yang, Shih-Yi Tu, Pei-Hua Yen	Implementation of an Electronic Voting System with Contactless IC Cards for Small-Scale Voting.	IAS	2009	DBLP DOI BibTeX RDF
49	Yun-he Li, Shan-yu Wu	Research on a New E-voting Method based on the Cellular Phone.	ISECS	2008	DBLP DOI BibTeX RDF
49	Lukasz Nitschke	Secure Internet Voting Based on Paper Ballots.	ICISS	2008	DBLP DOI BibTeX RDF
49	Lirong Xia, Vincent Conitzer	A sufficient condition for voting rules to be frequently manipulable.	EC	2008	DBLP DOI BibTeX RDF	complexity of manipulation, mechanism design, computational social choice
49	Sriperumbuduru Kandala Simhalu, Keiji Takeda	Browser Based Agile E-Voting System.	ASIAN	2007	DBLP DOI BibTeX RDF	Individual Verifiability, Agile Voting, Anonymity, E-Voting
49	Chun-I Fan, Chin-Laung Lei	A Multi-Recastable Ticket Scheme for Electronic Elections.	ASIACRYPT	1996	DBLP DOI BibTeX RDF
42	Ralf Küsters, Tomasz Truderung, Andreas Vogt 0001	Improving and Simplifying a Variant of Prêt à Voter.	VoteID	2009	DBLP DOI BibTeX RDF
42	Nirwan Ansari, Pitipatana Sakarindr, Ehsan Haghani, Chao Zhang, Aridaman K. Jain, Yun Q. Shi 0001	Evaluating Electronic Voting Systems Equipped with Voter-Verified Paper Records.	IEEE Secur. Priv.	2008	DBLP DOI BibTeX RDF
42	David Lundin, Peter Y. A. Ryan	Human Readable Paper Verification of Prêt à Voter.	ESORICS	2008	DBLP DOI BibTeX RDF
42	Maider Huarte, Maria Madarieta, Iñaki Goirizelaia, Juan José Unzilla	An Analysis of Improvements for Voter Interfaces in Polling Station and Remote Electronic Voting Systems.	VISUAL	2008	DBLP DOI BibTeX RDF	electronic interfaces, hardware for handicapped, Electronic Voting Systems
42	James Heather	Implementing STV securely in Pret a Voter.	CSF	2007	DBLP DOI BibTeX RDF
42	Peter Y. A. Ryan, Steve A. Schneider	Prêt à Voter with Re-encryption Mixes.	ESORICS	2006	DBLP DOI BibTeX RDF
42	Ahmad Patooghy, Seyed Ghassem Miremadi, A. Javadtalab, Mahdi Fazeli, Navid Farazmand	A Solution to Single Point of Failure Using Voter Replication and Disagreement Detection.	DASC	2006	DBLP DOI BibTeX RDF
42	Thomas E. Carroll, Daniel Grosu	A Secure and Efficient Voter-Controlled Anonymous Election Scheme.	ITCC (1)	2005	DBLP DOI BibTeX RDF
42	Jose Luis Lacson, Kanta Matsuura	The Challenge of Providing a Voter Registration System for Millions of Filipinos Living Overseas.	EGOV	2004	DBLP DOI BibTeX RDF
42	Samar Dajani-Brown, Darren D. Cofer, Amar Bouali	Formal Verification of an Avionics Sensor Voter Using SCADE.	FORMATS/FTRTFT	2004	DBLP DOI BibTeX RDF
42	José M. Quintana, Maria J. Avedillo, José Luis Huertas	Efficient Realization of a Threshold Voter for Self-Purging Redundancy.	J. Electron. Test.	2001	DBLP DOI BibTeX RDF	self-purging redundancy, fault tolerance, sorting networks, threshold logic
42	A. Vasudhara Reddy, S. V. Raghavan	Architecture of Multi Channel Multi Database Voting System.	I3E	2005	DBLP DOI BibTeX RDF	Traditional voting, Online voting, Offline voting, Database synchronization, Voter anonymity, Voter authentication, Vote uniqueness
42	Ahmed El-Amawy, Morteza Naraghi-Pour, Manju V. Hegde	Noise Modeling Effects in Redundant Synchronizers.	IEEE Trans. Computers	1993	DBLP DOI BibTeX RDF	redundant synchronizers, jitter model, absorbing barrier problem, clock delay, voter delay, aperture alignment, L-input AND, OR functions, majority voter function, general redundant synchronizer, delays, logic design, noise, combinational circuit, synchronisation, stochastic model, masking, combinatorial circuits, metastability, noise model
40	Moayad Alnammi, Shengchao Liu, Spencer S. Ericksen, Gene E. Ananiev, Andrew F. Voter, Song Guo, James L. Keck, F. Michael Hoffmann, Scott A. Wildman, Anthony Gitter	Evaluating Scalable Supervised Learning for Synthesize-on-Demand Chemical Libraries.	J. Chem. Inf. Model.	2023	DBLP DOI BibTeX RDF
40	Shengchao Liu, Moayad Alnammi, Spencer S. Ericksen, Andrew F. Voter, Gene E. Ananiev, James L. Keck, F. Michael Hoffmann, Scott A. Wildman, Anthony Gitter	Practical Model Selection for Prospective Virtual Screening.	J. Chem. Inf. Model.	2019	DBLP DOI BibTeX RDF
40	Sara B. Linker, Jonathan Y. Hsu, Adela Pfaff, Debha Amatya, Shu-Meng Ko, Sarah Voter, Quinn Wong, Fred H. Gage	BrainImageR: spatiotemporal gene set analysis referencing the human brain.	Bioinform.	2019	DBLP DOI BibTeX RDF
40	Richard J. Zamora, Arthur F. Voter, Danny Perez, Nandakishore Santhi, Susan M. Mniszewski, Sunil Thulasidasan, Stephan J. Eidenbenz	Discrete event performance prediction of speculatively parallel temperature-accelerated dynamics.	Simul.	2016	DBLP DOI BibTeX RDF
40	Supraja Gurajala, Joshua S. White, Brian Hudson, Brian R. Voter, Jeanna N. Matthews	Profile characteristics of fake Twitter accounts.	Big Data Soc.	2016	DBLP DOI BibTeX RDF
40	Susan M. Mniszewski, Christoph Junghans, Arthur F. Voter, Danny Perez, Stephan J. Eidenbenz	TADSim: Discrete Event-Based Performance Prediction for Temperature-Accelerated Dynamics.	ACM Trans. Model. Comput. Simul.	2015	DBLP DOI BibTeX RDF
40	Andrew Binder, Mitchell Luskin, Danny Perez, Arthur F. Voter	Analysis of Transition State Theory Rates upon Spatial Coarse-Graining.	Multiscale Model. Simul.	2015	DBLP DOI BibTeX RDF
40	O. Kum, B. M. Dickson, Steven J. Stuart, B. P. Uberuaga, A. F. Voter	Application of Parallel Replica Dynamics to Pyrolysis of n-Hexadecane.	IASTED PDCS	2002	DBLP BibTeX RDF
38	Jonathan M. Johnson, Michael J. Wirthlin	Voter insertion algorithms for FPGA designs using triple modular redundancy.	FPGA	2010	DBLP DOI BibTeX RDF	scc, tmr, voter insertion, fpga, algorithm, reliability, synchronization
38	Philippe Ayrault, Thérèse Hardin, François Pessaux	Development of a Generic Voter under FoCal.	TAP@TOOLS	2009	DBLP DOI BibTeX RDF	formal methods, FoCal, voter, development cycle
38	Benjamin Smith, Sharon J. Laskowski, Svetlana Lowry	Implications of Graphics on Usability and Accessibility for the Voter.	VoteID	2009	DBLP DOI BibTeX RDF	Ballots, Voter Interface, Usability, Animation, Accessibility, Graphics, Icons, Logos, Voting System
38	Felix Reimann, Michael Glaß, Martin Lukasiewycz, Joachim Keinert, Christian Haubelt, Jürgen Teich	Symbolic voter placement for dependability-aware system synthesis.	CODES+ISSS	2008	DBLP DOI BibTeX RDF	mttuf, bdd, system synthesis, voter, mean time to failure, mttf
37	Roberto Caldelli, Rudy Becarelli, Francesco Filippini, Francesco Picchioni, Riccardo Giorgetti	Electronic Voting by Means of Digital Terrestrial Television: The Infrastructure, Security Issues and a Real Test-Bed.	I3E	2009	DBLP DOI BibTeX RDF	disabled people accessibility, digital divide, e-democracy, e-voting, MHP, DTT
37	Wei Han, Tao Hao, Dong Zheng 0001, Kefei Chen, Xiaofeng Chen 0001	A Tamper-Evident Voting Machine Resistant to Covert Channels.	ProvSec	2008	DBLP DOI BibTeX RDF	tamper-evident, receipt-free, electronic voting, covert channel
37	Atef Mohamed, Mohammad Zulkernine	Improving Reliability and Safety by Trading off Software Failure Criticalities.	HASE	2007	DBLP DOI BibTeX RDF
37	Tal Moran, Moni Naor	Split-ballot voting: everlasting privacy with distributed trust.	CCS	2007	DBLP DOI BibTeX RDF
37	Ulle Endriss	Vote manipulation in the presence of multiple sincere ballots.	TARK	2007	DBLP DOI BibTeX RDF
37	Melanie Volkamer, Robert Krimmer	Secrecy forever? Analysis of Anonymity in Internet-based Voting Protocols.	ARES	2006	DBLP DOI BibTeX RDF
37	Tadayoshi Kohno, Adam Stubblefield, Aviel D. Rubin, Dan S. Wallach	Analysis of an Electronic Voting System.	S&P	2004	DBLP DOI BibTeX RDF
37	Alexander Prosser, Robert Kofler, Robert Krimmer	Deploying Electronic Democracy for Public Corporations.	EGOV	2003	DBLP DOI BibTeX RDF
37	Natsuki Ishida, Shin'ichiro Matsuo, Wakaha Ogata	Divisible Voting Scheme.	ISC	2003	DBLP DOI BibTeX RDF	Secure electronic voting and homomorphic encryption
37	Robert Kofler, Robert Krimmer, Alexander Prosser	Electronic Voting: Algorithmic and Implementation Issues.	HICSS	2003	DBLP DOI BibTeX RDF	Electronic Voting, Internet Applications, Electronic Democracy
37	Ronald Cramer, Rosario Gennaro, Berry Schoenmakers	A Secure and Optimally Efficient Multi-Authority Election Scheme.	EUROCRYPT	1997	DBLP DOI BibTeX RDF
35	Hamid Reza Mahdiani	Z-Voter: a novel high-impedance voter for efficient realization of tristate logic in quantum-dot cellular automata technology.	J. Supercomput.	2022	DBLP DOI BibTeX RDF
35	Claudia Z. Acemyan, Philip T. Kortum, Michael D. Byrne, Dan S. Wallach	Usability of Voter Verifiable, End-to-end Voting Systems: Baseline Data for Helios, Prêt à Voter, and Scantegrity II.	EVT/WOTE	2014	DBLP BibTeX RDF
35	Peter Y. A. Ryan, David Bismark, James Heather, Steve A. Schneider, Zhe Xia	Prêt à voter: a voter-verifiable voting system.	IEEE Trans. Inf. Forensics Secur.	2009	DBLP DOI BibTeX RDF
35	Arthur R. Edwards	Facilitating the monitorial voter: retrospective voter information websites in the USA, UK and The Netherlands.	Electron. Gov. an Int. J.	2006	DBLP DOI BibTeX RDF
33	Ravi K. Vatrapu, Scott P. Robertson	Information foraging in E-voting.	CHI Extended Abstracts	2009	DBLP DOI BibTeX RDF	comparative informatics, information patch, voter-centered design, www.votesby.us, participatory design, e-democracy, information scent, e-voting, e-participation, information foraging theory
33	Michael R. Clarkson, Stephen Chong, Andrew C. Myers	Civitas: Toward a Secure Voting System.	SP	2008	DBLP DOI BibTeX RDF	verifiable elections, voter registration, secure bulletin boards, cryptographic protocols, Electronic voting, coercion resistance
30	Lucie Langer, Melanie Volkamer, Stefan G. Weber, Axel Schmidt 0001, Johannes Buchmann 0001	Towards long-term free and secret electronic elections providing voter-verifiability in the bulletin board model.	ICEGOV	2009	DBLP DOI BibTeX RDF	long-term anonymity, electronic voting, security requirements, verifiability
30	David Chaum, Aleksander Essex, Richard Carback, Jeremy Clark, Stefan Popoveniuc, Alan T. Sherman, Poorvi L. Vora	Scantegrity: End-to-End Voter-Verifiable Optical-Scan Voting.	IEEE Secur. Priv.	2008	DBLP DOI BibTeX RDF
30	Hannu Nurmi, Janusz Kacprzyk	Designing Representative Bodies When the Voter Preferences Are Fuzzy.	IFSA (1)	2007	DBLP DOI BibTeX RDF
30	Stefan Popoveniuc, David Lundin	A Simple Technique for Safely Using Punchscan and Prêt à Voter in Mail-In Elections.	VOTE-ID	2007	DBLP DOI BibTeX RDF
30	Peter Y. A. Ryan	A variant of the Chaum voter-verifiable scheme.	WITS	2005	DBLP DOI BibTeX RDF
30	David Chaum, Peter Y. A. Ryan, Steve A. Schneider	A Practical Voter-Verifiable Election Scheme.	ESORICS	2005	DBLP DOI BibTeX RDF
30	Michele Favalli, Cecilia Metra	TMR voting in the presence of crosstalk faults at the voter inputs.	IEEE Trans. Reliab.	2004	DBLP DOI BibTeX RDF
30	Heinz Mühlenbein, Robin Höns	Stochastic Analysis of Cellular Automata and the Voter Model.	ACRI	2002	DBLP DOI BibTeX RDF
24	Edith Elkind, Piotr Faliszewski, Arkadii M. Slinko	Swap Bribery.	SAGT	2009	DBLP DOI BibTeX RDF
24	Ryan W. Gardner, Sujata Garera, Aviel D. Rubin	Coercion Resistant End-to-end Voting.	Financial Cryptography	2009	DBLP DOI BibTeX RDF	end-to-end voting, privacy, cryptography, coercion
24	Kwang-Woo Lee, Yunho Lee, Seungjoo Kim, Dongho Won	A Practical Approach to a Reliable Electronic Election.	ICCSA (2)	2009	DBLP DOI BibTeX RDF	paper receipt, cut-and-choose, electronic voting
24	Jeremy Clark, Urs Hengartner, Kate Larson	Not-So Hidden Information: Optimal Contracts for Undue Influence in E2E Voting Systems.	VoteID	2009	DBLP DOI BibTeX RDF
24	Wolter Pieters	Combatting Electoral Traces: The Dutch Tempest Discussion and Beyond.	VoteID	2009	DBLP DOI BibTeX RDF	electoral traces, risk classification, electronic voting, actor-network theory, tempest
24	Lorenzo Petroli, Carlos Arthur Lang Lisbôa, Fernanda Lima Kastensmidt, Luigi Carro	Majority Logic Mapping for Soft Error Dependability.	J. Electron. Test.	2008	DBLP DOI BibTeX RDF	Majority gates, Fault tolerance, SET, Majority logic
24	Iñaki Goirizelaia, Maider Huarte, Juanjo Unzilla, Ted Selker	An Optical Scan E-Voting System based on N-Version Programming.	IEEE Secur. Priv.	2008	DBLP DOI BibTeX RDF
24	Orhan Cetinkaya, Ali Doganaksoy	A Practical Verifiable e-Voting Protocol for Large Scale Elections over a Network.	ARES	2007	DBLP DOI BibTeX RDF
24	Lorenzo Petroli, Carlos Arthur Lang Lisbôa, Fernanda Lima Kastensmidt, Luigi Carro	Using majority logic to cope with long duration transient faults.	SBCCI	2007	DBLP DOI BibTeX RDF	long duration transient faults, majority logic
24	István Marosi, László Tóth 0005	OCR Voting Methods for Recognizing Low Contrast Printed Documents.	DIAL	2006	DBLP DOI BibTeX RDF
24	Scott P. Robertson	Digital deliberation: searching and deciding about how to vote.	DG.O	2006	DBLP DOI BibTeX RDF	digital government, electronic voting
24	Álisson Michels, Lorenzo Petroli, Carlos Arthur Lang Lisbôa, Fernanda Gusmão de Lima Kastensmidt, Luigi Carro	SET Fault Tolerant Combinational Circuits Based on Majority Logic.	DFT	2006	DBLP DOI BibTeX RDF
24	Xiaomei Liu, Li Xiao 0001	hiREP: Hierarchical Reputation Management for Peer-to-Peer Systems.	ICPP	2006	DBLP DOI BibTeX RDF
24	Wenjing Rao, Alex Orailoglu, Ramesh Karri	Fault tolerant nanoelectronic processor architectures.	ASP-DAC	2005	DBLP DOI BibTeX RDF
24	Jens Groth	Non-interactive Zero-Knowledge Arguments for Voting.	ACNS	2005	DBLP DOI BibTeX RDF
24	Thomas Rössler, Herbert Leitold, Reinhard Posch	E-Voting: A Scalable Approach using XML and Hardware Security Modules.	EEE	2005	DBLP DOI BibTeX RDF
24	Patrick P. Tsang, Victor K. Wei	Short Linkable Ring Signatures for E-Voting, E-Cash and Attestation.	ISPEC	2005	DBLP DOI BibTeX RDF
24	Yoon Cheol Lee, Hiroshi Doi	On the Security of Condorcet Electronic Voting Scheme.	CIS (2)	2005	DBLP DOI BibTeX RDF
24	Gholamreza Latif Shabgahi, Julian M. Bass, Stuart Bennett	A taxonomy for software voting algorithms used in safety-critical systems.	IEEE Trans. Reliab.	2004	DBLP DOI BibTeX RDF
24	Jens Groth	Efficient Maximal Privacy in Boardroom Voting and Anonymous Broadcast.	Financial Cryptography	2004	DBLP DOI BibTeX RDF
24	Changjie Wang, Ho-fung Leung	A secure and private clarke tax voting protocol without trusted authorities.	ICEC	2004	DBLP DOI BibTeX RDF	Clarke tax voting protocol, universal verification, security, privacy protection, electronic voting, mix network, ElGamal encryption