Compilation for Secure Multi-party Computation - Büscher, Niklas. (SpringerBriefs in Computer Science, 2017)