Directory Tree

Helene Haagh, Aleksandr Karbyshev, Sabine Oechsner, Bas Spitters, Pierre-Yves Strub, Computer-aided proofs for multiparty computation with active security PDF (CSF18) (e-print 502)
The file Mult.ec contains the multiplication protocol
The file MPC_addition_active.ec contains the addition protocol
The other files are small standalone libraries
.
├── MPC_addition_active.ec
├── Mult.ec
├── util.ec
├── vote.ec
└── ZModFin.ec