菊地 大介 (Daisuke Kikuchi)

東北大学 大学院情報科学研究科 情報基礎科学専攻 小林・住井研究室 所属

論文

学会発表

• Daisuke Kikuchi, Naoki Kobayashi. "Type-Based Verification of Correspondence Assertions for Communication Protocols" The 5th ASIAN Symposium on Programming Languages and Systems (APLAS 2007), Singapore, November, 2007. [PDF | Slides]. Lecture Notes in Computer Science. (C) Springer-Verlag.

学位

• 2007年: 学士(工学) 東北大学
  • 題目「セキュリティプロトコルにおける真正性の自動検証のための型推論」

連絡先

• E-mail: kikuchi {at} kb {dot} ecei {dot} tohoku {dot} ac {dot} jp

(English version is available here.)