Compilation for secure multi-party computation (2017)