×
{{flash.message}}
Toggle navigation
Toggle navigation
日本語
|
English
新規登録
ログイン
田中 三貴
タナカ ミキ (Miki Tanaka)
更新日: 2009/02/03
ホーム
研究キーワード
研究分野
共同研究・競争的資金等の研究課題
基本情報
所属
旧所属 独立行政法人情報通信研究機構 情報通信部門 セキュリティ基盤グループ
専攻研究員
J-GLOBAL ID
200901032940143958
researchmap会員ID
5000093737
研究キーワード
10
理論計算機科学
プログラミング言語意味論
暗号プロトコル
形式的手法による検証
セキュリティ
Theoretical Computer Science
Programming Language Semantics
Cryptographic Protocols
Formal Verification
Security
研究分野
2
情報通信 / ソフトウェア /
情報通信 / 情報学基礎論 /
共同研究・競争的資金等の研究課題
4
圏論による変数束縛のモデル化
共有キャッシュに対するサイドチャンネル攻撃について
Categorical modelling of bound variables
Side-channel attacks on shared cache memories
メニュー
マイポータル