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	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

No records found.

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Vanessa Teague