{{flash.message}}
researchmap
  • 日本語 | 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 

メニュー

マイポータル
2017 researchmap
Japan Science and Technology Agency