A framework for SPDZ-style maliciously-secure MPC. - View it on GitHub