PoS4MPC: Automated Security Policy Synthesis for Secure Multi-party Computation. - Yuxin Fan; Fu Song; Taolue Chen 001; Liangfeng Zhang; Wanwei Liu (CAV (1), 2022)