A graph-based automated verification framework for perfect semi-honest security of multiparty computation protocols.
Primary LanguageC++MIT LicenseMIT