Formalising \(\varSigma\)-protocols and commitment schemes using crypthol
scientific article; zbMATH DE number 7356981
scientific article