Decomposition Instead of Self-Composition for Proving the Absence of Timing Channels
オープンアクセス
-
- 寺内 多智弘
- 北陸先端科学技術大学院大学
書誌事項
- タイトル
- Decomposition Instead of Self-Composition for Proving the Absence of Timing Channels
- 著者
- Timos Antonopoulos, Paul Gazzillo, Michael Hicks, Eric Koskinen, Tachio Terauchi, and Shiyi Wei
収録刊行物
-
- Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2017)
-
Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2017) 印刷中 2017
