EasyUC

swMATH43591MaRDI QIDQ1350688FDOQ1350688

Author name not available (Why is that?)

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