Vanessa Teague

	2008
16		Vanessa Teague, Kim Ramchen, Lee Naish: Coercion-Resistant Tallying for STV Voting. EVT 2008
	2007
15		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		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		Tom Coleman, Vanessa Teague: On The Complexity of Manipulating Elections. CATS 2007: 25-33
12		Amy Beth Corman, Peter Schachte, Vanessa Teague: Secure random number agreement for peer-to-peer applications. ICPADS 2007: 1-8
	2006
11		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		Joseph Y. Halpern, Vanessa Teague: Rational Secret Sharing and Multiparty Computation: Extended Abstract CoRR abs/cs/0609035: (2006)
9		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		Vanessa Teague: Selecting Correlated Random Actions. Financial Cryptography 2004: 181-195
7		Ajith Ramanathan, John C. Mitchell, Andre Scedrov, Vanessa Teague: Probabilistic Bisimulation and Equivalence for Security Analysis of Network Protocols. FoSSaCS 2004: 468-483
6		Joseph Y. Halpern, Vanessa Teague: Rational secret sharing and multiparty computation: extended abstract. STOC 2004: 623-632
	2002
5		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		Moni Naor, Vanessa Teague: Anti-presistence: history independent data structures. STOC 2001: 492-501
2		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		Noga Alon, Vanessa Teague, Nicholas C. Wormald: Linear Arboricity and Linear k-Arboricity of Regular Graphs. Graphs and Combinatorics 17(1): 11-16 (2001)

Coauthor Index

1	Noga Alon	[1]
2	Tom Coleman	[13]
3	Amy Beth Corman	[11] [12] [14] [15]
4	Scott Douglas	[11]
5	Joseph Y. Halpern	[6] [10]
6	John C. Mitchell	[2] [4] [5] [7] [9]
7	Lee Naish	[16]
8	Moni Naor	[3]
9	Ajith Ramanathan	[2] [4] [7] [9]
10	Kim Ramchen	[16]
11	Andre Scedrov	[2] [4] [7] [9]
12	Peter Schachte	[11] [12] [14] [15]
13	Nicholas C. Wormald	[1]

Colors in the list of coauthors