| 2008 |
|---|
| 16 | EE | Vanessa Teague,
Kim Ramchen,
Lee Naish:
Coercion-Resistant Tallying for STV Voting.
EVT 2008 |
| 2007 |
|---|
| 15 | EE | Amy Beth Corman,
Peter Schachte,
Vanessa Teague:
QUIP: A Protocol For Securing Content in Peer-To-Peer Publish/Subscribe Overlay Networks.
ACSC 2007: 35-40 |
| 14 | EE | Amy Beth Corman,
Peter Schachte,
Vanessa Teague:
A Secure Group Agreement (SGA) Protocol for Peer-to-Peer Applications.
AINA Workshops (1) 2007: 24-29 |
| 13 | EE | Tom Coleman,
Vanessa Teague:
On The Complexity of Manipulating Elections.
CATS 2007: 25-33 |
| 12 | EE | Amy Beth Corman,
Peter Schachte,
Vanessa Teague:
Secure random number agreement for peer-to-peer applications.
ICPADS 2007: 1-8 |
| 2006 |
|---|
| 11 | EE | Amy Beth Corman,
Scott Douglas,
Peter Schachte,
Vanessa Teague:
A Secure Event Agreement (SEA) protocol for peer-to-peer games.
ARES 2006: 34-41 |
| 10 | EE | Joseph Y. Halpern,
Vanessa Teague:
Rational Secret Sharing and Multiparty Computation: Extended Abstract
CoRR abs/cs/0609035: (2006) |
| 9 | EE | John C. Mitchell,
Ajith Ramanathan,
Andre Scedrov,
Vanessa Teague:
A probabilistic polynomial-time process calculus for the analysis of cryptographic protocols.
Theor. Comput. Sci. 353(1-3): 118-164 (2006) |
| 2004 |
|---|
| 8 | EE | Vanessa Teague:
Selecting Correlated Random Actions.
Financial Cryptography 2004: 181-195 |
| 7 | EE | Ajith Ramanathan,
John C. Mitchell,
Andre Scedrov,
Vanessa Teague:
Probabilistic Bisimulation and Equivalence for Security Analysis of Network Protocols.
FoSSaCS 2004: 468-483 |
| 6 | EE | Joseph Y. Halpern,
Vanessa Teague:
Rational secret sharing and multiparty computation: extended abstract.
STOC 2004: 623-632 |
| 2002 |
|---|
| 5 | EE | John C. Mitchell,
Vanessa Teague:
Autonomous Nodes and Distributed Mechanisms.
ISSS 2002: 58-83 |
| 2001 |
|---|
| 4 | | John C. Mitchell,
Ajith Ramanathan,
Andre Scedrov,
Vanessa Teague:
Probabilistic Polynominal-Time Process Calculus and Security Protocol Analysis.
LICS 2001: 3-8 |
| 3 | EE | Moni Naor,
Vanessa Teague:
Anti-presistence: history independent data structures.
STOC 2001: 492-501 |
| 2 | EE | John C. Mitchell,
Ajith Ramanathan,
Andre Scedrov,
Vanessa Teague:
A Probabilistic Polynomial-time Calculus For Analysis of Cryptographic Protocols (Preliminary Report).
Electr. Notes Theor. Comput. Sci. 45: (2001) |
| 1 | EE | Noga Alon,
Vanessa Teague,
Nicholas C. Wormald:
Linear Arboricity and Linear k-Arboricity of Regular Graphs.
Graphs and Combinatorics 17(1): 11-16 (2001) |
