@techreport{TG10,
author = {Tilgner, Christian and Glavic, Boris and B\"ohlen, Michael H. and Kanne, Carl-Christian},
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},
pdfurl = {http://www.cs.uic.edu/%7ebglavic/dbgroup/assets/pdfpubls/TG10.pdf},
projects = {Oshiya},
title = {{Correctness Proof of the Declarative SS2PL Protocol Implementation}},
venueshort = {Techreport},
year = {2010},
bdsk-url-1 = {http://www.cs.uic.edu/%7ebglavic/dbgroup/assets/pdfpubls/TG10.pdf}
}
Reference
Correctness Proof of the Declarative SS2PL Protocol Implementation Christian Tilgner, Boris Glavic, Michael H. Böhlen and Carl-Christian Kanne University of Zurich.