文献
J-GLOBAL ID:202202273923127092
整理番号:22A0787611
キャッシュガード:キャッシュタイミングサイドチャネルセキュリティのための行動モデルチェッカー:(招待論文)【JST・京大機械翻訳】
CacheGuard: A Behavior Model Checker for Cache Timing Side-Channel Security: (Invited Paper)
著者 (6件):
Xu Zihan
(Tsinghua University,Department of Computer Science and Technology,Beijing,China,100084)
,
Yin Lingfeng
(Tsinghua University,Department of Computer Science and Technology,Beijing,China,100084)
,
Lyu Yongqiang
(Tsinghua University,Beijing National Research Center for Information Science and Technology,Beijing,China,100084)
,
Wang Haixia
(Tsinghua University,Department of Computer Science and Technology,Beijing,China,100084)
,
Qu Gang
(Institute for Systems Research University of Maryland,Department of Electrical and Computer Engineering,College Park,USA,20742)
,
Wang Dongsheng
(Tsinghua University,Department of Computer Science and Technology,Beijing,China,100084)
資料名:
IEEE Conference Proceedings
(IEEE Conference Proceedings)
巻:
2022
号:
ASP-DAC
ページ:
19-24
発行年:
2022年
JST資料番号:
W2441A
資料種別:
会議録 (C)
記事区分:
原著論文
発行国:
アメリカ合衆国 (USA)
言語:
英語 (EN)