Correctness proof of the declarative SS2PL protocol impleme...

Correctness proof of the declarative SS2PL protocol implementation

Publication type:

techreport

Authors:

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

Title:

Correctness proof of the declarative SS2PL protocol implementation

Year:

2010

number:

IFI-2010.0008

institution:

University of Zurich, Department of Informatics

month:

address:

Zürich, Switzerland