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:
2 × USA
Collaborated with:
R.Pass H.Lin
Talks about:
framework (1) parallel (1) malleabl (1) univers (1) theorem (1) repetit (1) concurr (1) merlin (1) effici (1) compos (1)

Person: Muthuramakrishnan Venkitasubramaniam

DBLP DBLP: Venkitasubramaniam:Muthuramakrishnan

Contributed to:

STOC 20092009
STOC 20072007

Wrote 2 papers:

STOC-2009-LinPV #concurrent #framework #security
A unified framework for concurrent security: universal composability from stand-alone non-malleability (HL, RP, MV), pp. 179–188.
STOC-2007-PassV #game studies #parallel #performance #theorem
An efficient parallel repetition theorem for Arthur-Merlin games (RP, MV), pp. 420–429.

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.