Correctness Proof of the Declarative SS2PL Protocol Implementation (bibtex)
by Christian Tilgner, Boris Glavic, Michael H. Böhlen, Carl-Christian Kanne
Reference:
Correctness Proof of the Declarative SS2PL Protocol Implementation (Christian Tilgner, Boris Glavic, Michael H. Böhlen, Carl-Christian Kanne), Technical report, University of Zurich, 2010.
Bibtex Entry:
@techreport{TG10,
	Author = {Christian Tilgner and Boris Glavic and Michael H. B\"ohlen and Carl-Christian Kanne},
	Date-Added = {2012-12-14 18:55:49 +0000},
	Date-Modified = {2012-12-18 17:16:01 +0000},
	Group = {dbtg},
	Institution = {University of Zurich},
	Keywords = {Oshiya},
	Title = {{Correctness Proof of the Declarative SS2PL Protocol Implementation}},
	Url = {http://cs.iit.edu/%7edbgroup/pdfpubls/TG10.pdf},
	Venueshort = {Techreport},
	Year = {2010},
	Bdsk-Url-1 = {http://cs.iit.edu/%7edbgroup/pdfpubls/TG10.pdf}}
Powered by bibtexbrowser