Rchr
J-GLOBAL ID：200901032940143958   Update date: Feb. 02, 2009

Tanaka Miki

タナカ ミキ | Tanaka Miki
Affiliation and department：
Former Institution / Organization National Institute of Information and Communications Technology Security Fundamentals Group, Information and Networks Systems Department

About Former Institution / Organization National Institute of Information and Communications Technology Security Fundamentals Group, Information and Networks Systems Department


Job title： Research Fellow
Research field  (2)： Software ,  Information theory
Research keywords  (10)： 理論計算機科学 ,  プログラミング言語意味論 ,  暗号プロトコル ,  形式的手法による検証 ,  セキュリティ ,  Theoretical Computer Science ,  Programming Language Semantics ,  Cryptographic Protocols ,  Formal Verification ,  Security
Research theme for competitive and other funds  (4)：
  • 圏論による変数束縛のモデル化
  • 共有キャッシュに対するサイドチャンネル攻撃について
  • Categorical modelling of bound variables
  • Side-channel attacks on shared cache memories
※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page

TOP

BOTTOM