Adi Shamir Eran Tromer 2005 Encyclopedia of Cryptography and Security https://doi.org/10.1007/0-387-23483-7_442 reference/crypt/2005 db/reference/crypt/crypt2005.html#ShamirT05