Liangfeng Zhang

According to our database, Liangfeng Zhang authored at least 1 paper in 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

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

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

Proceedings of the Computer Aided Verification - 34th International Conference, 2022