Compilation for Secure Multi-party Computation - Büscher, Niklas; Katzenbeisser, Stefan (Springer International Publishing, 2017)