Correctness Proof of the Declarative SS2PL Protocol Implementation

Authors

• Christian Tilgner
• Boris Glavic
• Michael H. Böhlen
• Carl-Christian Kanne

Materials

bibtex

@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://cs.iit.edu/%7edbgroup/assets/pdfpubls/TG10.pdf},
  projects = {Oshiya},
  title = {{Correctness Proof of the Declarative SS2PL Protocol Implementation}},
  venueshort = {Techreport},
  year = {2010},
  bdsk-url-1 = {http://cs.iit.edu/%7edbgroup/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.