Provably Secure Encrypt-then-Sign Composition in Hybrid Signcryption. - Ik Rae Jeong; Hee Yun Jeong; Hyun Sook Rhee; Dong Hoon Lee 001; Jong In Lim 001 (ICISC, 2002)