University home page

Find an ExpertProfiling the University of Melbourne's Researchers

DR VANESSA JOY TEAGUE



Contact Details

Organization: Computer Science and Software Engineering
Position: Honorary (Fellow)
Email:
Homepage: www.cs.mu.oz.au/~vteague
Work: 8344 1274
Fax: 9348 1184
Room: 6.14
Level: 06
Building: 111-117 Barry St.
Campus: Parkville

Research Expertise and International Linkages

Research Expertise

Research Interest Key Words Country of Expertise
electronic voting elections evote evoting Australia
Combining cryptography and game theory Australia

International Linkages

Country Establishment Collaboration
United States Stanford University Research
United States Cornell University Research

Qualifications, Honours, Fellowships and Other Awards

Qualifications

Title Institution Date Awarded Abbreviation
Bachelor of Science (Honours) University of Melbourne 31-Dec-1999
PhD Stanford University 04-Jan-2005

Government Research Classifications

Research Fields, Courses and Discipline Classifications

Socio-Economic Objective Classifications

Publications

Publications produced at the University of Melbourne and reported in the Annual Publications Collection and 'Research Report' since 2001. The Themis Publications module, released in November 2006, allows additional publications from previous institutions and publications from past years to be entered.

Publications in 2007

Conference Publications/Papers

  • QUIP: A Protocol For Securing Content in Peer-To-Peer Publish/Subscribe Overlay Networks
    Year: 2007
    Event name: Thirtieth Australasian Computer Science Conference (ACSC2007)
    Conference Publication: Proceedings of the Thirtieth Australasian Computer Science Conference
    Volume: 62
    Page numbers: 35-40
    Publisher: Australian Computer Society(Sydney)
    Author(s):
    Editor(s):
    URL - open access http://crpit.com/Vol62.html
  • A Secure Electronic Voting Scheme Using Identity based Public Key Cryptography
    Year: 2007
    Event name: The 2nd Joint Conference on Security in Network Architectures and Information Systems (SAR-SSI 2007)
    Conference Publication: SAR-SSI 2007: The 2nd Joint Conference on Security in Network Architectures and Information Systems Proceedings
    Page numbers: 287-302
    Publisher: Universite Jean Moulin(Lyon)
    Author(s):
  • A Secure Group Agreement (SGA) Protocol for Peer-to-Peer Applications
    Year: 2007
    Event name: AINA2007 - 21st International Conference on Advanced Information Networking and Applications
    Conference Publication: AINAW '07: Proceedings of the 21st International Conference on Advanced Information Networking and Applications Workshops/Symposia
    Volume: 1
    Page numbers: 24-29
    Publisher: IEEE Computer Society(California)
    Author(s):
  • Secure Random Number Agreement for Peer-to-Peer Applications
    Year: 2007
    Event name: P2PNVE2007 - The International Workshop on Peer-to-Peer Networked Virtual Environments
    Conference Publication: Proceedings of the International Workshop on Peer-to-Peer Networked Virtual Environments
    Volume: 2
    Page numbers: 1-8
    Publisher: IEEE Computer Society(Los Alamitos)
    Author(s):

Publications in 2006

Journal Articles

  • A probabilistic polynomial-time process calculus for the analysis of Cryptographic protocols
    Year: 2006
    Journal: Theoretical Computer Science
    Volume: 353
    Issue: 1-3
    Page numbers: 118-164
    Author(s):
    Super Search Source this item in the University's Catalouge locate this resource.

Conference Publications/Papers

Publications in 2004

Book Chapters

  • Selecting correlated random actions
    Year: 2004
    Book: Lecture Notes in Computer Science
    Publisher: Springer Verlag(Berlin)
    Authors(s):

Conference Publications/Papers

  • Rational Secret Sharing and Multiparty Computation
    Year: 2004
    Event name: The 36th ACM Symposium on Theory of Computing (STOC 2004)
    Conference Publication: Proceeedings of The 36th ACM Symposium on Theory of Computing (STOC 2004)
    Page numbers: 623-632
    Publisher: ACM Press(New York)
    Author(s):

Publications in 2001

Journal Articles

  • A Probabilistic Polynomial-time Calculus For Analysis of Cryptographic Protocols: (Preliminary Report)
    Year: 2001
    Journal: Electronic Notes in Theoretical Computer Science
    Volume: 45
    Issue: Nov 2001
    Page numbers: 280-310
    Author(s):
    Super Search Source this item in the University's Catalouge locate this resource.
  • Linear Arboricity and Linear k-Arboricity of Regular Graphs
    Year: 2001
    Journal: Graphs and Combinatorics
    Volume: 17
    Issue: 1
    Page numbers: 11-16
    Author(s):
    Super Search Source this item in the University's Catalouge locate this resource.

Conference Publications/Papers

  • Anti-persistence: History Independent Data Structures
    Year: 2001
    Event name: The thirty-third annual ACM symposium on Theory of computing
    Conference Publication: Proceedings of the thirty-third annual ACM symposium on Theory of computing
    Page numbers: 492 - 501
    Publisher: ACM Press(New York)
    Author(s):
top of page