BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Greece
1 × Spain
2 × USA
Collaborated with:
A.Ramanathan J.C.Mitchell A.Scedrov J.Y.Halpern M.Naor
Talks about:
probabilist (2) protocol (2) analysi (2) secur (2) multiparti (1) polynomin (1) structur (1) independ (1) calculus (1) abstract (1)

Person: Vanessa Teague

DBLP DBLP: Teague:Vanessa

Contributed to:

FoSSaCS 20042004
STOC 20042004
LICS 20012001
STOC 20012001

Wrote 4 papers:

FoSSaCS-2004-RamanathanMST #analysis #bisimulation #equivalence #network #probability #protocol #security
Probabilistic Bisimulation and Equivalence for Security Analysis of Network Protocols (AR, JCM, AS, VT), pp. 468–483.
STOC-2004-HalpernT #multi
Rational secret sharing and multiparty computation: extended abstract (JYH, VT), pp. 623–632.
LICS-2001-MitchellRST #analysis #calculus #probability #process #protocol #security
Probabilistic Polynominal-Time Process Calculus and Security Protocol Analysis (JCM, AR, AS, VT), pp. 3–5.
STOC-2001-NaorT #data type #independence #named
Anti-presistence: history independent data structures (MN, VT), pp. 492–501.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.