Vanessa Teague's Home Page
|
I am a Research Fellow in the Department of Computing and Information Systems at at The University of Melbourne.
My main research interest is in electronic voting, with a focus
on cryptographic schemes for end-to-end verifiable elections.
I did my Bachelor's Degree (BSc hons) at
The University of Melbourne and my Ph.D. with
Prof. John Mitchell at Stanford University.
I wrote my thesis on combining ideas from cryptography
and game theory in order to understand distributed computations
with selfish participants.
If you would like to contact me, please send me email so we can arrange a time for a discussion.
My email address is vjteague [at] unimelb [dot] edu [dot] au.
My office is 9.18 in the Doug McDonell building. Phone +61 3 8344 1274.
Here is a useful map.
|
 |
Publications
James Heather, Peter Y A Ryan and Vanessa Teague, "Pretty Good Democracy for more expressive voting schemes," 15th European Symposium on Research in Computer Security (ESORICS 2010). Springer LNCS 6345. pp. 405-423.
Kim Ramchen and Vanessa Teague, "Parallel Shuffling and its application to Prêt à Voter" in proc. Electronic Voting Technology Workshop / Workshop on Trustworthy Elections, 2010.
Peter Y. A. Ryan and Vanessa Teague, "Pretty good democracy," in Proc. 17th Security Protocols Workshop, 2009.
Peter Y. A. Ryan and Vanessa Teague, "Ballot permutations in Prêt à Voter" in proc. Electronic Voting Technology Workshop / Workshop on Trustworthy Elections, 2009.
Josh Benaloh, Tal Moran, Lee Naish, Kim Ramchen and Vanessa Teague "Shuffle-Sum: Coercion-Resistant Verifiable Tallying for STV Voting," IEEE Transactions on Information Forensics and Security, 4(4), 2009 (To appear)
[BibTex][Abstract]
(An earlier version appeared in WOTE/EVT 2008.)
Vanessa Teague, "Problems with Coordination in Two-Player Games: Comment on "Computational Complexity and Communication"," Econometrica 76(6), pp. 1559-1564, 2008.
T. Coleman and V. Teague
"On the complexity of manipulating elections,"
Proc. Australasian Theory symposium (CATS 2007).
A. Corman, S. Douglas, P. Schachte and V. Teague, "A secure event agreement
(SEA) protocol for peer-to-peer games," Proc. 1st international conference on availability, reliability and security. IEEE computer society, 2006.
J. Halpern and V. Teague "Rational Secret Sharing and
Multiparty Computation," STOC 2004.
PS PDF
V. Teague, "Selecting correlated random actions,"
in Proceedings of Financial Cryptography,
2004. PS PDF
J. Mitchell and V. Teague, "Autonomous Nodes and
Distributed Mechanisms," In
M. Okada, B. Pierce, A. Scedrov, H. Tokuda, A. Yonezawa (eds),
Software Security - Theories and Systems. Mext-NSF-JSPS
International Symposium, (ISSS 2002), Tokyo, Japan, November
8-10, 2002, Springer LNCS Volume 2609, Springer-Verlag,
2003, pp 58--83. PS
PDF
J. Mitchell, A. Ramanathan, A. Scedrov, and V. Teague,
"A probabilistic polynomial-time calculus for analysis of
cryptographic protocols (Preliminary report),"
17-th Annual Conference on the Mathematical Foundations
of Programming Semantics, Arhus, Denmark, May, 2001,
ENTCS Vol. 45 (2001).
PDF
M. Naor and V. Teague, "Anti-persistence: history
independent data structures," Proc. 33rd ACM
Symp. on Theory of Computing (STOC), 2001.
PS PDF
Vanessa Teague and Liz Sonenberg
"Investigating commitment flexibility in multi-agent
contracts," Game Theory and Decision Theory in Agent-Based
Systems,
S. Parsons, P. Gymtrasiewicz and M. Wooldridge (eds), Kluwer,
2002, 267-292. PS PDF
N. Alon, V. Teague, and N. Wormald
"Linear arboricity and linear $k$-arboricity of regular graphs,"
Graphs and Combinatorics 17 (2001) 11-16.
PS.GZ
Students (past and current)
Tom Coleman
Amy Corman
Kim Ramchen
Quynh-Chi Nguyen
And to the NSW Parliament's Inquiry into the administration of the 2011 state election: Submission 7.
Some of this was quoted in the committees' final reports.