[産総研]

Yutaka Oiwa: Publications


English titles of publications marked as "in Japanese" are translated for your reference and not official ones.

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

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.

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 Programing 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.

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

大岩 寛. Fail-Safe C の 実装のオブジェクト指向言語のための拡張. 第7回プログラミングとプログラミング言語に関するワークショップ (PPL2005). March 2005.

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

Programming languages

大岩 寛, 田浦 健次朗, 米澤 明憲. Java 仮想マシンへの整数と参照の相互変換の導入. 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.

Invited Talks

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

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

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.