Rafael Pass Alon Rosen New and Improved Constructions of Nonmalleable Cryptographic Protocols. 702-752 2008 38 SIAM J. Comput. 2 http://dx.doi.org/10.1137/060671553 db/journals/siamcomp/siamcomp38.html#PassR08a