Equational security proofs of oblivious transfer protocols
scientific article; zbMATH DE number 6869060