EasyUC
From MaRDI portal
Software:1350688
No author found.
Source code repository: https://github.com/easyuc/EasyUC
Related Items (2)
A formal treatment of the role of verified compilers in secure computation ⋮ Formalising \(\varSigma\)-protocols and commitment schemes using crypthol
This page was built for software: EasyUC
