GAuV: A Graph-Based Automated Verification Framework for Perfect Semi-Honest Security of Multiparty Computation Protocols

Presented at IEEE Symposium on Security and Privacy 2024 by

Xingyu Xie

Yifei Li

Wei Zhang

Tuowei Wang

Shizhen Xu

Jun Zhu

Yifan Song