EasyUC

MaRDI QIDQ1350688swMATHFDO

Official website https://par.nsf.gov/servlets/purl/10095463

Source code repository https://github.com/easyuc/EasyUC

Cited in

(6)

• Wysteria
• Formalising \(\varSigma\)-protocols and commitment schemes using crypthol
• Sharemind
• A formal treatment of the role of verified compilers in secure computation
• HyCC
• JIFF

This page was built for software: EasyUC