Publications


English entries for publications marked as “in Japanese” are translated for your reference and not official ones. Please refer to Japanese page for the official titles, event names and others.

The download links from titles of the publication are in PDF format, unless otherwise noticed.

Publications (Journal Articles, Published Proceedings etc.)

Fail-Safe C related

Yutaka Oiwa. Implementation of the Memory-safe Full ANSI-C Compiler. ACM SIGPLAN Conference on Programming Language Design and Implementations (PLDI2009), June 2009.

Yutaka Oiwa, Eijiro Sumii, Akinori Yonezawa. Implementing a Fail-safe ANSI-C Compiler. Computer Software, 19(3):39-44, JSSST, May 2002. In Japanese.

Yutaka Oiwa, Tatsurou Sekiguchi, Eijiro Sumii, Akinori Yonezawa. Fail-Safe ANSI-C Compiler: An Approach to Making C Programs Secure (Progress Report). International Symposium on Software Security, November 8--10, 2002. In Lecture Notes in Computer Science Vol. 2609, February 2003.

Security Related

Yutaka Oiwa, Kazukuni Kobara, Hajime Watanabe. A new variant for an attack against RSA signature verification using Parameter field. Proceedings of EuroPKI 2007 (4th European PKI Workshop: Theory and Practice), Lecture Notes on Computer Science 4582:143-153, Palma de Mallorca, Spain, June 2007.

System Quality Related

Y. Isobe, H. Hatsutani, A. Tanaka, Y. Oiwa, T. Abe, A. Okada, T. Kitamura, K. Fukuda and T. Kunifuji. Automatic Generation of Train Timetables from Mesoscopic Railway Models by SMT-Solver. IEICE Transactions on Fundamentals of Electronics Communications and Computer Sciences, E102-A-2, pp.325-335. Feb 2019.

Reynald Affeldt, David Nowak and Yutaka OIWA. Formal Network Packet Processing with Minimal Fuss: Invertible Syntax Descriptions at Work, Proceedings of the 6th ACM SIGPLAN workshop on Programming languages meets program verification, pp.27-36, January 2012.

K. Suzaki, T. Yagi, A. Tanaka, Y. Oiwa and E Shibayama. Rollback Mechanism of Nested Virtual Machines for Protocol Fuzz Testing. Proceedings on Symposium on Applied Computing, pp.1484-1491, March 2014.

E. Choi, T. Kitamura, C. Artho and Y. Oiwa. Design of Prioritized N-Wise Testing. Proc. of ICTSS’14 (The 26th IFIP International Conference on Testing Software and Systems), pp.186-191, September 2014.

A. Yamada, T. Kitamura, A. Cyrille, E. Choi, and Y. Oiwa. Optimization of Combinatorial Testing by Incremental SAT Solving. Proc. 8th IEEE International Conference on Software Testing, Verification and Validation (ICST 2015), April 2015.

E. Choi, T. Kitamura, A. Cyrille, A. Yamada and Y. Oiwa. Priority Integration for Weighted Combinatorial Testing. Proc. of the IEEE Computer Software and Applications Conference (COMPSAC2015), pp.242-247, July 2015.

Takashi Kitamura, Akihisa Yamada, Goro Hatayama, Cyrille Artho, Eun-Hye Choi, Ngoc Thi Bich Do, Yutaka Oiwa, Shinya Sakuragi. Combinatorial Testing for Tree-Structured Test Models with Constraints. Proceedings of the 2015 IEEE International Conference on Software Quality, Reliability and Security (QRS2015), August 2015.

Programming Languages

Yutaka Oiwa, Kenjiro Taura, Akinori Yonezawa. Extending Java Virtual Machine with Integer-Reference Conversion. Concurrency: Practice and Experience, 12(6):407-422. May 2000. (Gzipped Postscript)

Tatsurou Sekiguchi, Yutaka Oiwa, Akinori Yonezawa. A Program Compression Scheme for PDA and Mobile Phone Applications written in Object-Oriented Languages. Computer Software, 19(1):1-9, JSSST, January 2002. In Japanese.

Workshop Papers (Not officially published)

Fail-Safe C related

Yutaka Oiwa. An extension to safe pointers in Fail-Safe C for object-oriented languages. The 7th JSSST Workshop on Programming and Programming Languages (PPL2005). March 2005. In Japanese.

Yutaka Oiwa. Type-safe Linking of C Programs. JSSST Symposium on Programming and Programming Languages (PPL2007), March 2007.

Security Related

Rie. Yamaguchi, Hajime Watanabe, Yutaka OIWA. A Note on serviceability between personal certificate and server certificate on PKI. JWIS 2011: The 6th Joint Workshop on Information Security, October 2011.

Programming languages

Yutaka Oiwa, Kenjiro Taura, Akinori Yonezawa. Introducing Integer-Reference cross-conversion into Java Virtual Machine. The Second workshop on Systems for Programming and Applications (SPA’99). March 1999. In Japanese.

Yutaka Oiwa, Hidehiko Masuhara, Akinori Yonezawa. DynJava: Type Safe Dynamic Code Generation in Java. The 3rd JSSST Workshop on Programming and Programming Languages (PPL2001), March 2001.

Tatsurou Sekiguchi, Yutaka Oiwa, Akinori Yonezawa. A Program Compression Scheme for PDA and Mobile Phone Applications written in Object-Oriented Languages. The 3rd JSSST Workshop on Programming and Programming Languages (PPL2001). March 2001. In Japanese.

Arthi Cyrille, Yutaka Oiwa, Kuniyasu Suzaki, Masami Hagiya. Extraction of assertions in C implementations of security APIs for verification of Java applications. Workshop on Analysis of Security APIs, August 2009.

Talks (partial list)

AI Quality

Yutaka Oiwa. AI quality and security in industries: issues and activities (in Japanese), IoT Security Symposium 2019 by CCDS, 2019/6/17.

Yutaka Oiwa. Quality Management of Machine Learning-based Software (in Japanese), IPSJ Seminar on AI x IoT: implementation and standardization, 2019/10/9.

Yutaka Oiwa. Activity on the machine learning quality management guideline (in Japanese), 2nd Symposium on Safety of AI/IoT systems, 2020/11/10.

Yutaka Oiwa. Activity on the machine learning quality management guideline and related standardizations (in Japanese), Open QA4AI Conference 2021, 2021/06/18.

Security

Yutaka Oiwa. Overview of Security Vulneraibilities and Countermeasures. PPL Summer School 2008, JSSST, September 2008. In Japanese.

Yutaka Oiwa. Controlling information flow within IoT and Cyber Physical Society (in Japanese), 21th Forum on Information Knowledge, 2017/1/22.

Programming Languages

Yutaka Oiwa. Fail-Safe C: towards improved safety of existing C programs. RSA Conference Japan 2009, June 2009. In Japanese.

etc…

Other Presentations

Fail-Safe C related

Yutaka Oiwa, Eijiro Sumii, Akinori Yonezawa. Implementing a Fail-safe ANSI-C Compiler. Aural Presentation at JSSST 2001, 18 September 2001, Hakodate, Japan. In Japanese.

Yutaka Oiwa, Eijiro Sumii, Akinori Yonezawa. Fail-Safe ANSI-C Compiler. Poster presentation at the student research session in the ACM SIGPLAN 2002 Conference on Programming Language Design and Implementation (PLDI’02). June 17, 2002.

Yutaka Oiwa. Fail-Safe C: the solution for preventing security holes in C programs. Poster presentation at the Asian symposium for Programming Language And Systems (APLAS 2006), Sydney, Australia, November 2006.

Security Related

Yutaka Oiwa, Hiromitsu Takagi, Hajime Watanabe, Hideki Imai. PAKE-based mutual HTTP authentication for preventing phishing attacks. Poster presentation at the 2007 eCrime Researchers’ Summit, Anti-phishing Working Group, Pittsburgh, USA, October 2007. (Abstract PDF | Poster PDF | Slide-format PDF )

Yutaka Oiwa, Hiromitsu Takagi, Hajime Watanabe, Hirofumi Suzuki. PAKE-based mutual HTTP authentication for preventing phishing attacks. Poster presentation at the 2009 WWW conference, Madrid, Spain, April 2009. (Abstract PDF | Poster PDF )

Please also refer ”Mutual auth. project page” for recent presentations on the HTTP Mutual authentication protocol proposal.

Programming Languages

Yutaka Oiwa, Kenjiro Taura, Akinori Yonezawa. Extending Java Virtual Machine with Integer-Reference Conversion. Poster presentation at ACM 1999 JavaGrande Conference.

Yutaka Oiwa, Kenjiro Taura, Akinori Yonezawa. Introducing Integer-Reference cross-conversion into Java Virtual Machine. Poster presentation at The Third workshop on Systems for Programming and Applications (SPA2000). March 2000. In Japanese.

Yutaka Oiwa, Hidehiko Masuhara, Akinori Yonezawa. DynJava: Type Safe Dynamic Code Generation in Java. Aural Presentation at Program Transformation Workshop (PTW’01), Mar 15-16 2001.

Standardization

RFC 8053: HTTP Authentication Extensions for Interactive Clients, Internet Engineering Task Force. ISSN: 2070-1721 DOI: 10.17487/RFC8053 http://www.rfc-editor.org/info/rfc8053

RFC 8120: Mutual Authentication Protocol for HTTP, Internet Engineering Task Force. ISSN: 2070-1721 DOI: 10.17487/RFC8120 http://www.rfc-editor.org/info/rfc8120

RFC 8121: Mutual Authentication Protocol for HTTP: Cryptographic Algorithms Based on the Key Agreement Mechanism 3 (KAM3). Internet Engineering Task Force. ISSN: 2070-1721 DOI: 10.17487/RFC8121 http://www.rfc-editor.org/info/rfc8121

Theses

Fail-Safe C related

Yutaka Oiwa. Implementation of a Fail-Safe ANSI C Compiler. Doctoral Dissertation, Department of Computer Science, Graduate School of Information Science and Technology, The University of Tokyo. March 2005.

Programming Languages

Yutaka Oiwa. A Java-based Language with Type-Safe Dynamic-Code Generation. Master’s thesis, Department of Information Science, Graduate School of Science, the University of Tokyo. February 2001.

Yutaka Oiwa. Extending Java Virtual Machine to Improve Performance of Dynamically-typed Languages. Senior Thesis. Department of Information Science, Faculty of Science, the University of Tokyo. February 1999.