![[DigiARC]](data/DigiARC-E0-105.png)
![[産総研]](data/symbolaist120x22lg.gif)
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
大岩 寛. 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.
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
大岩 寛, 田浦 健次朗, 米澤 明憲. 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.
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の品質・セキュリティに関する課題と取り組み, IoTセキュリティシンポジウム 2019, CCDS, 2019/6/17.
Yutaka Oiwa. 機械学習ソフトウェアの品質確保への課題と取り組みについて, 情報処理学会 短期集中セミナー「AI×IoTの社会実装と標準化における課題と取り組み」, 2019/10/9.
Yutaka Oiwa. 機械学習品質マネジメントガイドライン策定の取組み, 第2回AI/IoTシステム安全性シンポジウム, 2020/11/10.
Yutaka Oiwa. 機械学習品質マネジメントガイドライン策定と標準化の取り組み, 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. IoT/サイバーフィジカル社会における情報の流れと制御, 第21回情報知識学フォーラム, 2017/01/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.