PoS4MPC: Automated Security Policy Synthesis for Secure Multi-party Computation.

Yuxin Fan, Fu Song, Taolue Chen, Liangfeng Zhang, Wanwei Liu

Browse the full CAV paper archive.