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