A Formal Model for Secure Multiparty Computation. - Amy Rathore; Marina Blanton; Marco Gaboardi; Lukasz Ziarek (CoRR, 2023)