Search results for "EVT"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
74	Lars-Åke Fredlund, Dilian Gurov, Thomas Noll 0001, Mads Dam, Thomas Arts, Gennady Chugunov	A verification tool for ERLANG.	Int. J. Softw. Tools Technol. Transf.	2003	DBLP DOI BibTeX RDF	Formal methods, Theorem proving, Software verification
62	Fanjun Meng, Jianping Li 0001, Lijun Gao	ERM-POT Method for Quantifying Operational Risk for Chinese Commercial Banks.	International Conference on Computational Science (2)	2007	DBLP DOI BibTeX RDF	operational risk, EVT, POT, VaR, ERM
50	David L. Dill, Tadayoshi Kohno (eds.)	2008 USENIX/ACCURATE Electronic Voting Workshop, EVT 2008, July 28-29, 2008, San Jose, CA, USA, Proceedings	EVT	2008	DBLP BibTeX RDF
50	Zhe Xia, Steve A. Schneider, James Heather, Jacques Traoré	Analysis, Improvement, and Simplification of Prêt à Voter with Paillier Encryption.	EVT	2008	DBLP BibTeX RDF
50	Arel Cordero, David A. Wagner 0001	Replayable Voting Machine Audit Logs.	EVT	2008	DBLP BibTeX RDF
50	Daniel Sandler, Dan S. Wallach	The Case for Networked Remote Voting Precincts.	EVT	2008	DBLP BibTeX RDF
50	Javed A. Aslam, Raluca A. Popa, Ronald L. Rivest	On Auditing Elections When Precincts Have Different Sizes.	EVT	2008	DBLP BibTeX RDF
50	Adam J. Aviv, Pavol Cerný, Sandy Clark, Eric Cronin, Gaurav Shah, Micah Sherr, Matt Blaze	Security Evaluation of ES&S Voting Machines and Election Management System.	EVT	2008	DBLP BibTeX RDF
50	Komminist Weldemariam, Adolfo Villafiorita	Modeling and Analysis of Procedural Security in (e)Voting: The Trentino's Approach and Experiences.	EVT	2008	DBLP BibTeX RDF
50	Kevin R. B. Butler, William Enck, Harri Hursti, Stephen E. McLaughlin, Patrick Traynor, Patrick D. McDaniel	Systemic Issues in the Hart InterCivic and Premier Voting Systems: Reflections on Project EVEREST.	EVT	2008	DBLP BibTeX RDF
50	Josh Benaloh	Administrative and Public Verifiability: Can We Have Both?	EVT	2008	DBLP BibTeX RDF
50	Joseph Lorenzo Hall	Improving the Security, Transparency, and Efficiency of California's 1% Manual Tally Procedures.	EVT	2008	DBLP BibTeX RDF
50	Vanessa Teague, Kim Ramchen, Lee Naish	Coercion-Resistant Tallying for STV Voting.	EVT	2008	DBLP BibTeX RDF
50	Joseph A. Calandrino, J. Alex Halderman, Edward W. Felten	In Defense of Pseudorandom Sample Selection.	EVT	2008	DBLP BibTeX RDF
50	Seda Davtyan, Sotiris Kentros, Aggelos Kiayias, Laurent Michel, Nicolas C. Nicolaou, Alexander Russell, Andrew See, Narasimha K. Shashidhar, Alexander A. Shvartsman	Pre-Election Testing and Post-Election Audit of Optical Scan Voting Terminal Memory Cards.	EVT	2008	DBLP BibTeX RDF
50	J. Alex Halderman, Eric Rescorla, Hovav Shacham, David A. Wagner 0001	You Go to Elections with the Voting System You Have: Stop-Gap Mitigations for Deployed Voting Systems.	EVT	2008	DBLP BibTeX RDF
50	Stephen N. Goggin, Michael D. Byrne, Juan E. Gilbert, Gregory Rogers, Jerome McClendon	Comparing the Auditability of Optical Scan, Voter Verified Paper Audit Trail (VVPAT) and Video (VVVAT) Ballot Systems.	EVT	2008	DBLP BibTeX RDF
50	David Chaum, Richard Carback, Jeremy Clark, Aleksander Essex, Stefan Popoveniuc, Ronald L. Rivest, Peter Y. A. Ryan, Emily Shen, Alan T. Sherman	Scantegrity II: End-to-End Verifiability for Optical Scan Election Systems using Invisible Ink Confirmation Codes.	EVT	2008	DBLP BibTeX RDF
50	Ray Martinez, David A. Wagner 0001 (eds.)	2007 USENIX/ACCURATE Electronic Voting Technology Workshop, EVT'07, Boston, MA, USA, August 6, 2007	EVT	2007	DBLP BibTeX RDF
50	Stephen N. Goggin, Michael D. Byrne	An Examination of the Auditability of Voter Verified Paper Audit Trail (VVPAT) Ballots.	EVT	2007	DBLP BibTeX RDF
50	Thomas P. Ryan, Candice Hoke	GEMS Tabulation Database Design Issues in Relation to Voting Systems Certification Standards.	EVT	2007	DBLP BibTeX RDF
50	Rop Gonggrijp, Willem-Jan Hengeveld	Studying the Nedap/Groenendaal ES3B Voting Computer: A Computer Security Perspective.	EVT	2007	DBLP BibTeX RDF
50	Ka-Ping Yee	Extending Prerendered-Interface Voting Software to Support Accessibility and Other Ballot Features.	EVT	2007	DBLP BibTeX RDF
50	Ryan W. Gardner, Sujata Garera, Aviel D. Rubin	On the Difficulty of Validating Voting Machine Software with Software.	EVT	2007	DBLP BibTeX RDF
50	Aggelos Kiayias, Laurent Michel, Alexander Russell, Narasimha Sashidar, Andrew See, Alexander A. Shvartsman	An Authentication and Ballot Layout Attack Against an Optical Scan Voting Terminal.	EVT	2007	DBLP BibTeX RDF
50	Ben Riva, Amnon Ta-Shma	Bare-Handed Electronic Voting with Pre-processing.	EVT	2007	DBLP BibTeX RDF
50	Joseph A. Calandrino	Machine-Assisted Election Auditing.	EVT	2007	DBLP BibTeX RDF
50	Joseph Lorenzo Hall	Contractual Barriers to Transparency in Electronic Voting.	EVT	2007	DBLP BibTeX RDF
50	Ariel J. Feldman, J. Alex Halderman, Edward W. Felten	Security Analysis of the Diebold AccuVote-TS Voting Machine.	EVT	2007	DBLP BibTeX RDF
50	Joseph R. Kiniry, Dermot Cochran, Patrick E. Tierney	Verification-Centric Realization of Electronic Vote Counting.	EVT	2007	DBLP BibTeX RDF
50	Josh Benaloh	Ballot Casting Assurance via Voter-Initiated Poll Station Auditing.	EVT	2007	DBLP BibTeX RDF
50	Elliot Proebstel, Sean Riddle, Francis Hsu, Justin Cummins, Freddie Oakley, Tom Stanionis, Matt Bishop	An Analysis of the Hart Intercivic DAU eSlate.	EVT	2007	DBLP BibTeX RDF
50	Javed A. Aslam, Raluca A. Popa, Ronald L. Rivest	On Estimating the Size and Confidence of a Statistical Audit.	EVT	2007	DBLP BibTeX RDF
50	Warren D. Smith	Three Voting Protocols: ThreeBallot, VAV, and Twin.	EVT	2007	DBLP BibTeX RDF
50	Daniel Sandler, Dan S. Wallach	Casting Votes in the Auditorium.	EVT	2007	DBLP BibTeX RDF
50	Dan S. Wallach, Ronald L. Rivest (eds.)	2006 USENIX/ACCURATE Electronic Voting Technology Workshop, EVT'06, Vancouver, BC, Canada, August 1, 2006	EVT	2006	DBLP BibTeX RDF
50	Sharon J. Laskowski, Janice (Ginny) Redish	Making Ballot Language Understandable to Voters.	EVT	2006	DBLP BibTeX RDF
50	Douglas W. Jones, Tom C. Bowersox	Secure Data Export and Auditing Using Data Diodes.	EVT	2006	DBLP BibTeX RDF
50	Joseph Lorenzo Hall	Transparency and Access to Source Code in Electronic Voting.	EVT	2006	DBLP BibTeX RDF
50	Ka-Ping Yee, David A. Wagner 0001, Marti A. Hearst, Steven M. Bellovin	Prerendered User Interfaces for Higher-Assurance Electronic Voting.	EVT	2006	DBLP BibTeX RDF
50	Kristen K. Greene, Michael D. Byrne, Sarah P. Everett	A Comparison of Usability Between Voting Methods.	EVT	2006	DBLP BibTeX RDF
50	Paul S. Herrnson, Richard G. Niemi, Michael J. Hanmer, Benjamin B. Bederson, Frederick G. Conrad, Michael Traugott	The Importance of Usability Testing of Voting Systems.	EVT	2006	DBLP BibTeX RDF
50	Ben Adida, C. Andrew Neff	Ballot Casting Assurance.	EVT	2006	DBLP BibTeX RDF
50	Margaret McGaley, J. Paul Gibson	A Critical Analysis of the Council of Europe Recommendations on E-Voting.	EVT	2006	DBLP BibTeX RDF
50	Josh Benaloh	Simple Verifiable Elections.	EVT	2006	DBLP BibTeX RDF
50	Alan T. Sherman, Aryya Gangopadhyay, Stephen H. Holden, George Karabatis, Akif Günes Koru, Chris M. Law, Donald F. Norris, John Pinkston, Andrew Sears, Dongsong Zhang	An Examination of Vote Verification Technologies: Findings and Experiences from the Maryland Study.	EVT	2006	DBLP BibTeX RDF
49	Vincent A. Cicirello, Stephen F. Smith	Heuristic Selection for Stochastic Search Optimization: Modeling Solution Quality by Extreme Value Theory.	CP	2004	DBLP DOI BibTeX RDF
49		2014 Electronic Voting Technology Workshop/Workshop on Trustworthy Elections, EVT/WOTE '14, San Diego, CA, USA, August 18-19, 2014.	EVT/WOTE	2014	DBLP BibTeX RDF
49	Julia Pomares, Inés Levin, R. Michael Alvarez	Do Voters and Poll Workers Differ in their Attitudes Toward E-voting? Evidence from the First E-election in Salta, Argentina.	EVT/WOTE	2014	DBLP BibTeX RDF
49	Feng Hao 0001, Matthew Nicolas Kreeger, Brian Randell, Dylan Clarke, Siamak Fayyaz Shahandashti, Peter Hyun-Jeen Lee	Every Vote Counts: Ensuring Integrity in Large-Scale Electronic Voting.	EVT/WOTE	2014	DBLP BibTeX RDF
49	Laurent D. Michel, Alexander A. Shvartsman, Nikolaj Volgushev	A Systematic Approach to Analyzing Voting Terminal Event Logs.	EVT/WOTE	2014	DBLP BibTeX RDF
49	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
49	Chris Culnane, James Heather, Rui Joaquim, Peter Y. A. Ryan, Steve A. Schneider, Vanessa Teague	Faster Print on Demand for Prêt à Voter.	EVT/WOTE	2014	DBLP BibTeX RDF
49	Max Bader	Do New Voting Technologies Prevent Fraud? Evidence from Russia.	EVT/WOTE	2014	DBLP BibTeX RDF
49	Kathryn Summers, Dana Chisnell, Drew Davies, Noel T. Alton, Megan McKeever	Making Voting Accessible: Designing Digital Ballot Marking for People with Low Literacy and Mild Cognitive Disabilities.	EVT/WOTE	2014	DBLP BibTeX RDF
49		2013 Electronic Voting Technology Workshop / Workshop on Trustworthy Elections, EVT/WOTE '13, Washington, D.C., USA, August 12-13, 2013	EVT/WOTE	2013	DBLP BibTeX RDF
49	Georgios Tsoukalas, Kostas Papadimitriou, Panos Louridas, Panayiotis Tsanakas	From Helios to Zeus.	EVT/WOTE	2013	DBLP BibTeX RDF
49	Kristen K. Greene, Michael D. Byrne, Stephen N. Goggin	How to Build an Undervoting Machine: Lessons from an Alternative Ballot Design.	EVT/WOTE	2013	DBLP BibTeX RDF
49	Morgan Llewellyn, Steve A. Schneider, Zhe Xia, Chris Culnane, James Heather, Peter Y. A. Ryan, Sriramkrishnan Srinivasan	Testing Voters' Understanding of a Security Mechanism Used in Verifiable Voting.	EVT/WOTE	2013	DBLP BibTeX RDF
49	Duncan A. Buell	An Analysis of Long Lines in Richland County, South Carolina.	EVT/WOTE	2013	DBLP BibTeX RDF
49	Josh Benaloh	Rethinking Voter Coercion: The Realities Imposed by Technology.	EVT/WOTE	2013	DBLP BibTeX RDF
49	Dalia Khader, Qiang Tang 0001, Peter Y. A. Ryan	Proving Prêt à Voter Receipt Free Using Computational Security Models.	EVT/WOTE	2013	DBLP BibTeX RDF
49	Josh Benaloh, Michael D. Byrne, Bryce Eakin, Philip T. Kortum, Neal McBurnett, Olivier Pereira, Philip B. Stark, Dan S. Wallach, Gail Fisher, Julian Montoya, Michelle Parker, Michael Winn	STAR-Vote: A Secure, Transparent, Auditable, and Reliable Voting System.	EVT/WOTE	2013	DBLP BibTeX RDF
49	Eric Kim, Nicholas Carlini, Andrew Chang, George Yiu, Kai Wang 0059, David A. Wagner 0001	Improved Support for Machine-assisted Ballot-level Audits.	EVT/WOTE	2013	DBLP BibTeX RDF
49	J. Alex Halderman, Olivier Pereira (eds.)	2012 Electronic Voting Technology Workshop / Workshop on Trustworthy Elections, EVT/WOTE '12, Bellevue, WA, USA, August 6-7, 2012	EVT/WOTE	2012	DBLP BibTeX RDF
49	Huong Phan, George S. Avrunin, Matt Bishop, Lori A. Clarke, Leon J. Osterweil	A Systematic Process-Model-based Approach for Synthesizing Attacks and Evaluating Them.	EVT/WOTE	2012	DBLP BibTeX RDF
49	Joseph Lorenzo Hall, Emily Barabas, Gregory Shapiro, Deirdre K. Mulligan, Coye Cheshire	Probing the Front Lines: Pollworker Perceptions of Security & Privacy.	EVT/WOTE	2012	DBLP BibTeX RDF
49	Kai Wang 0059, Nicholas Carlini, Eric Kim, Ivan Motyashov, Daniel Nguyen, David A. Wagner 0001	Operator-Assisted Tabulation of Optical Scan Ballots.	EVT/WOTE	2012	DBLP BibTeX RDF
49	Mark Lindeman, Philip B. Stark, Vincent S. Yates	BRAVO: Ballot-polling Risk-limiting Audits to Verify Outcomes.	EVT/WOTE	2012	DBLP BibTeX RDF
49	Shahram Khazaei, Björn Terelius, Douglas Wikström	Cryptanalysis of a Universally Verifiable Efficient Re-encryption Mixnet.	EVT/WOTE	2012	DBLP BibTeX RDF
49	Denise Demirel, Jeroen van de Graaf, Roberto Samarone dos Santos Araújo	Improving Helios with Everlasting Privacy Towards the Public.	EVT/WOTE	2012	DBLP BibTeX RDF
49	Chris Culnane	A Hybrid Touch Interface for Prêt à Voter.	EVT/WOTE	2012	DBLP BibTeX RDF
49	Craig Burton, Chris Culnane, James Heather, Thea Peacock, Peter Y. A. Ryan, Steve A. Schneider, Vanessa Teague, Roland Wen, Zhe Xia, Sriramkrishnan Srinivasan	Using Prêt à Voter in Victoria State Elections.	EVT/WOTE	2012	DBLP BibTeX RDF
49	Ronald L. Rivest, Emily Shen	A Bayesian Method for Auditing Elections.	EVT/WOTE	2012	DBLP BibTeX RDF
49	Aleksander Essex, Jeremy Clark, Urs Hengartner	Cobra: Toward Concurrent Ballot Authorization for Internet Voting.	EVT/WOTE	2012	DBLP BibTeX RDF
49	Carmen Kempka	Coercion-Resistant Electronic Elections with Write-In Candidates.	EVT/WOTE	2012	DBLP BibTeX RDF
49	Patrick Baxter, Anne Edmundson, Keishla Ortiz, Ana Maria Quevedo, Samuel Rodríguez, Cynthia Sturton, David A. Wagner 0001	Automated Analysis of Election Audit Logs.	EVT/WOTE	2012	DBLP BibTeX RDF
49	Hovav Shacham, Vanessa Teague (eds.)	2011 Electronic Voting Technology Workshop / Workshop on Trustworthy Elections, EVT/WOTE '11, San Francisco, CA, USA, August 8-9, 2011	EVT/WOTE	2011	DBLP BibTeX RDF
49	Philippe Bulens, Damien Giry, Olivier Pereira	Running Mixnet-Based Elections with Helios.	EVT/WOTE	2011	DBLP BibTeX RDF
49	David Cary	Estimating the Margin of Victory for Instant-Runoff Voting.	EVT/WOTE	2011	DBLP BibTeX RDF
49	Fatih Karayumak, Maina M. Olembo, Michaela Kauer, Melanie Volkamer	Usability Analysis of Helios - An Open Source Verifiable Remote Electronic Voting System.	EVT/WOTE	2011	DBLP BibTeX RDF
49	Alan T. Sherman, Russell A. Fink, Richard Carback, David Chaum	Scantegrity III: Automatic Trustworthy Receipts, Highlighting Over/Under Votes, and Full Voter Verifiability.	EVT/WOTE	2011	DBLP BibTeX RDF
49	Gillian E. Piner, Michael D. Byrne	Accessible Polling Places for the Visually Impaired: A Compilation of Survey Results.	EVT/WOTE	2011	DBLP BibTeX RDF
49	Peter Y. A. Ryan	Prêt à Voter with Confirmation Codes.	EVT/WOTE	2011	DBLP BibTeX RDF
49	Rolf Haenni, Oliver Spycher	Secure Internet Voting on Limited Devices with Anonymized DSA Public Keys.	EVT/WOTE	2011	DBLP BibTeX RDF
49	Eric Lazarus, David L. Dill, Jeremy Epstein	Applying a Reusable Election Threat Model at the County Level.	EVT/WOTE	2011	DBLP BibTeX RDF
49	Theron Ji, Eric Kim, Raji Srikantan, Alan Tsai, Arel Cordero, David A. Wagner 0001	An Analysis of Write-in Marks on Optical Scan Ballots.	EVT/WOTE	2011	DBLP BibTeX RDF
49	Thomas R. Magrino, Ronald L. Rivest, Emily Shen	Computing the Margin of Victory in IRV Elections.	EVT/WOTE	2011	DBLP BibTeX RDF
49	Duncan A. Buell, Eleanor Hare, Frank Heindel, Chip Moore, Barbara Zia	Auditing a DRE-Based Election in South Carolina.	EVT/WOTE	2011	DBLP BibTeX RDF
49	Josh Benaloh, Douglas W. Jones, Eric Lazarus, Mark Lindeman, Philip B. Stark	SOBA: Secrecy-preserving Observable Ballot-level Audit.	EVT/WOTE	2011	DBLP BibTeX RDF
49	Chris Culnane, David Bismark, James Heather, Steve A. Schneider, Sriramkrishnan Srinivasan, Zhe Xia	Authentication Codes.	EVT/WOTE	2011	DBLP BibTeX RDF
49	Douglas W. Jones, Jean-Jacques Quisquater, Eric Rescorla (eds.)	2010 Electronic Voting Technology Workshop / Workshop on Trustworthy Elections, EVT/WOTE '10, Washington, D.C., USA, August 9-10, 2010	EVT/WOTE	2010	DBLP BibTeX RDF
49	Jeremy Clark, Urs Hengartner	On the Use of Financial Data as a Random Beacon.	EVT/WOTE	2010	DBLP BibTeX RDF
49	Stephen Checkoway, Anand D. Sarwate	Single-Ballot Risk-Limiting Audits Using Convex Optimization.	EVT/WOTE	2010	DBLP BibTeX RDF
49	Aleksander Essex, Carlisle Adams	Eperio: Mitigating Technical Complexity in Cryptographic Election Verification.	EVT/WOTE	2010	DBLP BibTeX RDF
49	Gillian E. Piner, Michael D. Byrne	Baseline Usability Data for a Non-Electronic Approach to Accessible Voting.	EVT/WOTE	2010	DBLP BibTeX RDF
49	Kim Ramchen	Parallel Shuffling and Its Application to Prêt à Voter.	EVT/WOTE	2010	DBLP BibTeX RDF
49	William A. Edelstein, Arthur D. Edelstein	Queuing and Elections: Long Lines, DREs and Paper Ballots.	EVT/WOTE	2010	DBLP BibTeX RDF
49	Philip B. Stark	Super-Simple Simultaneous Single-Ballot Risk-Limiting Audits.	EVT/WOTE	2010	DBLP BibTeX RDF
49	Saghar Estehghari, Yvo Desmedt	Exploiting the Client Vulnerabilities in Internet E-voting Systems: Hacking Helios 2.0 as an Example.	EVT/WOTE	2010	DBLP BibTeX RDF