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