Vanessa Teague's Home Page

I am an honorary fellow in the Department of Computer Science and Software Engineering 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. My email address is vteague at cs dot mu dot oz dot au. Since I often work from home, email is the best way to contact me. My office is 6.14 in the ICT building, 111 Barry St.

Publications

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