研究者
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
の登録情報に基づき表示しています。 登録・更新については、
こちら
をご覧ください。
前のページに戻る
TOP
BOTTOM