Going beyond dual execution: MPC for functions with efficient verification
scientific article; zbMATH DE number 7436977
scientific article