"An information-flow type-system for mixed protocol secure computation."

Florian Kerschbaum (2013)
a service of Schloss Dagstuhl - Leibniz Center for Informatics