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

Other Writing

I have written several opinion pieces on electronic voting trials in Australia, all under the auspices of The Computing Research and Education Association of Australasia (CORE).

To the Federal Parliament's Inquiry into the 2010 Federal Election: Submission 101 and Submission 101.1.

To their inquiry into the 2007 Federal Election:k [Submission 1] [Supplementary Submission 1] [Supplementary Submission 2] [Testimony at the hearing.]

To the Victorian Parliament's Inquiry into the 2010 State Election: Submission 13

To their inquiry into the functions and administration of voting centres: Submission 12.

To their inquiry into voter participation and informal voting: Submission 10.

To their inquiry into the 2006 State Election: Submission 1

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.

Conferences

This year I am co-chair with Steve Schneider and James Heather of Vote ID 2013.

In 2011 I was co-chair with Hovav Shacham of the USENIX/ACCURATE Electronic Voting Technologies workshop and Workshop on Trustworthy Elections, EVT/WOTE 2011, co-located with USENIX Security '11.

I was also on the PC for Vote-ID 2011, Re-Vote 2011, and other years of EVT/WOTE.