研究者
J-GLOBAL ID:200901032940143958   更新日: 2009年02月02日

田中 三貴

タナカ ミキ | Tanaka Miki
所属機関・部署:
職名: 専攻研究員
研究分野 (2件): ソフトウェア ,  情報学基礎論
研究キーワード (10件): 理論計算機科学 ,  プログラミング言語意味論 ,  暗号プロトコル ,  形式的手法による検証 ,  セキュリティ ,  Theoretical Computer Science ,  Programming Language Semantics ,  Cryptographic Protocols ,  Formal Verification ,  Security
競争的資金等の研究課題 (4件):
  • 圏論による変数束縛のモデル化
  • 共有キャッシュに対するサイドチャンネル攻撃について
  • Categorical modelling of bound variables
  • Side-channel attacks on shared cache memories
※ J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。 登録・更新については、こちらをご覧ください。

前のページに戻る