Skip to content

winnylyc/MT-MPC

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

5 Commits
 
 
 
 
 
 
 
 

Repository files navigation

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:

data61/MP-SPDZ#920 data61/MP-SPDZ#922 data61/MP-SPDZ#926 data61/MP-SPDZ#1005 data61/MP-SPDZ#1023 data61/MP-SPDZ#1029 data61/MP-SPDZ#1018 data61/MP-SPDZ#992 data61/MP-SPDZ#1008

EzPC:

mpc-msri/EzPC#194 mpc-msri/EzPC#192 mpc-msri/EzPC#189

EMP:

emp-toolkit/emp-sh2pc#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.

About

No description, website, or topics provided.

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages