Florian Kerschbaum. An information-flow type-system for mixed protocol secure computation. In Kefei Chen, Qi Xie, Weidong Qiu, Ninghui Li, Wen-Guey Tzeng, editors, 8th ACM Symposium on Information, Computer and Communications Security, ASIA CCS '13, Hangzhou, China - May 08 - 10, 2013. pages 393-404, ACM, 2013. [doi]
Abstract is missing.