Vanessa Teague

Available identifiers

Publication	Date of Publication	Type
Election Manipulation 100	2023-08-03	Paper
When Is a Test Not a Proof?	2022-12-22	Paper
Auditing Hamiltonian elections	2022-06-01	Paper
Universally verifiable MPC and IRV ballot counting	2021-03-17	Paper
Toward Computing the Margin of Victory in Single Transferable Vote Elections	2020-12-09	Paper
Strategies for voter-initiated election audits	2016-12-21	Paper
Anti-persistence	2015-02-27	Paper
A probabilistic polynomial-time calculus for analysis of cryptographic protocols (preliminary report)	2013-04-26	Paper
Efficiently shuffling in public	2012-07-20	Paper
Rational secret sharing and multiparty computation	2010-08-15	Paper
Problems With Coordination in Two-Player Games: Comment on Computational Complexity and Communication	2008-12-15	Paper
Foundations of Software Science and Computation Structures	2007-09-28	Paper
A probabilistic polynomial-time process calculus for the analysis of cryptographic protocols	2006-04-28	Paper
Financial Cryptography	2005-06-13	Paper
https://portal.mardi4nfdi.de/entity/Q3158991	2005-02-01	Paper
https://portal.mardi4nfdi.de/entity/Q4418564	2003-08-11	Paper
Linear arboricity and linear \(k\)-arboricity of regular graphs	2002-03-29	Paper

This page was built for person: Vanessa Teague