EasyUC

swMATH43591MaRDI QIDQ1350688FDOQ1350688

Author name not available (Why is that?)

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

Cited In (2)

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

This page was built for software: EasyUC