Compilation for Secure Multi-party Computation - Büscher, Niklas. (Springer International Publishing : Imprint: Springer, 2017)