GitHub repository: leefige/gauv
Primary language: C++
Description: A graph-based automated verification framework for perfect semi-honest security of multiparty computation protocols