Hiroshi Unno

Ph.D course student at Yonezawa Group , Department of Computer Science , Graduate School of Information Science and Technology , University of Tokyo.

Refereed Papers

2006

Combining Type-Based Analysis and Model Checking for Finding Counterexamples against Non-Interference

Hiroshi Unno, Naoki Kobayashi, Akinori Yonezawa
© ACM, (2006). This is the author's version of the work. It is posted here by permission of ACM for your personal use. Not for redistribution. The definitive version was published in the Proceedings of the ACM SIGPLAN Workshop on Programming Languages and Analysis for Security, Ottawa, Canada, June 10, 2006.

[short version PDF] [full version PDF]