年別の研究成果
年別の研究成果
検索結果
-
2012
Quantitative information flow as safety and liveness hyperproperties
Yasuoka, H. & Terauchi, T., 2012 7 3, In: Electronic Proceedings in Theoretical Computer Science, EPTCS. 85, p. 77-91 15 p.研究成果: Conference article › 査読
4 被引用数 (Scopus) -
2003
Checking and inferring local non-aliasing
Aiken, A., Foster, J. S., Kodumal, J. & Terauchi, T., 2003 5, In: ACM SIGPLAN Notices. 38, 5, p. 129-140 12 p.研究成果: Conference article › 査読
13 被引用数 (Scopus)