@techreport{instance1502,
	 title = {{Correctness proof of the declarative SS2PL protocol implementation}},
	 author = {Michael H. B{\"o}hlen and Boris Glavic and Carl-Christian Kanne and Christian Tilgner},
	 year = {2010},
	 number = {IFI-2010.0008},
	 institution = {University of Zurich, Department of Informatics},
	 month = {09},
	 address = {Z{\"u}rich, Switzerland},
	 Date-Added = {2026-08-02 22:38:36},
	 Date-Modified = {2026-08-03 07:32:24}
}