Publications(Most online papers are Author's version with correcting some typos.)
A Formal Framework for Access Rights Analysis.
Jaist Technical Report IS-RR-2012-001.
Modular Stacking-based Context-Sensitive Program Analysis.
Jaist Technical Report IS-RR-2011-002
Conditional Weighted Pushdown Systems and Applications.
Proceedings of ACM SIGPLAN 2010 Workshop on Partial Evaluation and Program Manipulation (PEPM'10), pp.141-150.
Stacking-based Context-Sensitive Points-to Analysis for Java.
Hardware and Software: Verification and Testing - 5th International Haifa Verification Conference, (HVC 2009), Haifa, Israel, October 19-22, 2009. Springer LNCS, pp.133-149.
An Ahead-of-time Yet Context-Sensitive Points-to Analysis for Java.
The 4th International Workshop on Bytecode Semantics, Verification, Analysis and Transformation (BYTECODE'09).
ENTCS17798 in Elsevier.
Context-Sensitive Relevancy Analysis for Efficient Symbolic Execution.
Proceedings of the Sixth ASIAN Symposium on Programming Languages and Systems (APLAS'08),Springer LNCS 5356, pp.36-52.
Interprocedural Program Analysis for Java based on Weighted Pushdown Model Checking.
Proceedings of the 5th International Workshop on Automated Verification of Infinite-State Systems (AVIS'06).
A Lightweight Mutual Authentication based on Proxy Certificate Trust List.
Computer Software (Japanese Journal), Vol.22, No.2, pp.85-89, 2005.