Login / Signup
GAuV: A Graph-Based Automated Verification Framework for Perfect Semi-Honest Security of Multiparty Computation Protocols.
Xingyu Xie
Yifei Li
Wei Zhang
Tuowei Wang
Shizhen Xu
Jun Zhu
Yifan Song
Published in:
IACR Cryptol. ePrint Arch. (2024)
Keyphrases
</>
multi party
semi honest
privacy preserving
probabilistic model
orders of magnitude
secure multi party computation
secure multi party
automated verification
data warehouse
domain independent
search strategies