PoS4MPC: Automated Security Policy Synthesis for Secure Multi-Party Computation
Authors: Yuxin Fan, Fu Song, Taolue Chen, Liangfeng Zhang and Wanwei Liu
Paper Information
| Title: | PoS4MPC: Automated Security Policy Synthesis for Secure Multi-Party Computation |
| Authors: | Yuxin Fan, Fu Song, Taolue Chen, Liangfeng Zhang and Wanwei Liu |
| Proceedings: | CAV 2022 All Papers |
| Editors: | Yakir Vizel, Sharon Shoham and Hari Govind Vediramana Krishnan |
| Keywords: | Synthesis, Security Policy, Secure Multi-Party Computation, Security Verification |
| Pages: | 21 |
| Talk: | Aug 08 09:40 (Session 94A: Hyperproperties and Security) |
| Paper: |  |