AIST > RCIS > Events > Computational and Symbolic Proofs of Security > Organizing committee

Organizing committee

Organizing Committee of CosyProofs2009

• Tadashi Araragi (NTT)
• Hubert Comon-Lundh (AIST)
• Masami Hagiya (Univ. of Tokyo)
• Yoshifumi Manabe (NTT)
• Hirofumi Muratani (Toshiba Corporation)
• Kazuo Ohta (Univ. of Electro-Communications)
• Yutaka Oiwa (AIST)
• Tatsuaki Okamoto (NTT)
• Hideki Sakurada (NTT)
• Yasuyuki Tsukada (NTT)
• Hajime Watanabe (AIST)
• Yukiko Ito (AIST)