Metamorphic Testing of Secure Multi-party Computation(MPC) Compilers

This is the artifact for reproducing the results in the paper [Metamorphic Testing of Secure Multi-party Computation(MPC) Compilers]

Bugs found

MP-SPDZ:

https://github.com/data61/MP-SPDZ/issues/920 https://github.com/data61/MP-SPDZ/issues/922 https://github.com/data61/MP-SPDZ/issues/926 https://github.com/data61/MP-SPDZ/issues/1005 https://github.com/data61/MP-SPDZ/issues/1023 https://github.com/data61/MP-SPDZ/issues/1029 https://github.com/data61/MP-SPDZ/issues/1018 https://github.com/data61/MP-SPDZ/issues/992 https://github.com/data61/MP-SPDZ/issues/1008

EzPC:

https://github.com/mpc-msri/EzPC/issues/194 https://github.com/mpc-msri/EzPC/issues/192 https://github.com/mpc-msri/EzPC/issues/189

EMP:

https://github.com/emp-toolkit/emp-sh2pc/issues/37

Acknowledgments

The Seed Generation Tool of this project is based on the work of Wai Kin WONG from Hong Kong University of Science and Technology, which is not publicly available. We thank him for his contribution and for allowing us to use his code.