Kerschbaum, 2013. An information-flow type-system for mixed protocol secure computation, in: . ACM Press.. https://doi.org/10.1145/2484313.2484364