On the Equivalence of Several Security Notions of Key Encapsulation Mechanism. - Waka Nagao; Yoshifumi Manabe; Tatsuaki Okamoto (IACR Cryptol. ePrint Arch., 2006)

A Universally Composable Secure Channel Based on the KEM-DEM Framework. - Waka Nagao; Yoshifumi Manabe; Tatsuaki Okamoto (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2006)

Relationship of Three Cryptographic Channels in the UC Framework. - Waka Nagao; Yoshifumi Manabe; Tatsuaki Okamoto (ProvSec, 2008)

On the Equivalence of Several Security Notions of KEM and DEM. - Waka Nagao; Yoshifumi Manabe; Tatsuaki Okamoto (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2008)