東北大学 · データ駆動科学・AI教育研究センター

研究キーワードmodel checking・liveness verification・rewrite theory・e-passports・HTTP authentication・formal proofs・CafeOBJ・distributed storage

ここは公開データのプレビューです。個別の適合理由、連絡角度、保存機能はログイン後に利用できます。

• Cost Total Colorings of TreesShuji Isobe, Xiao Zhou, Takao Nishizeki
• On the Length-Decreasing Self-Reducibility and the Many-One-Like Reducibilities for Partial Multivalued Functions.Ji-Won Huh, Shuji Isobe, Eisuke Koizumi, Hiroki Shizuya
• A construction of attribute-based aggregate signatures.Shingo Hasegawa, Shuji Isobe, Eisuke Koizumi, Hiroki Shizuya, Ryo Takahashi
• On the security notions of signcryption.Shingo Hasegawa, Shuji Isobe

• 公式プロフィール