Efficient Verifiably Encrypted ECDSA Schemes From Castagnos-Laguillaumie and Joye-Libert Encryptions | IEEE Journals & Magazine | IEEE Xplore