講演・口頭発表等

招待有り 国際会議
2012年11月

On Complexity of Verifying Quantitative Information Flow

Dagstuhl Seminar 12481: Quantitative Security Analysis
  • Tachio Terauchi

記述言語
英語
会議種別
口頭発表(招待・特別)