Extending Java virtual machine with integer-reference conversion. - Yutaka Oiwa; Kenjiro Taura; Akinori Yonezawa (Concurr. Pract. Exp., 2000)

Fail-Safe ANSI-C Compiler: An Approach to Making C Programs Secure: Progress Report. - Yutaka Oiwa; Tatsurou Sekiguchi; Eijiro Sumii; Akinori Yonezawa (ISSS, 2002)

The Interface Definition Language for Fail-Safe C. - Kohei Suenaga; Yutaka Oiwa; Eijiro Sumii; Akinori Yonezawa (ISSS, 2003)

A New Variant for an Attack Against RSA Signature Verification Using Parameter Field. - Yutaka Oiwa; Kazukuni Kobara; Hajime Watanabe (EuroPKI, 2007)

Implementation of the memory-safe full ANSI-C compiler. - Yutaka Oiwa (PLDI, 2009)

PAKE-based mutual HTTP authentication for preventing phishing attacks. - Yutaka Oiwa; Hiromitsu Takagi; Hajime Watanabe; Hirofumi Suzuki (WWW, 2009)

PAKE-based mutual HTTP authentication for preventing phishing attacks - Yutaka Oiwa; Hajime Watanabe; Hiromitsu Takagi (CoRR, 2009)

Formal network packet processing with minimal fuss: invertible syntax descriptions at work. - Reynald Affeldt; David Nowak; Yutaka Oiwa (PLPV, 2012)

Design of Prioritized N-Wise Testing. - Eun-Hye Choi; Takashi Kitamura 001; Cyrille Artho; Yutaka Oiwa (ICTSS, 2014)

Rollback mechanism of nested virtual machines for protocol fuzz testing. - Kuniyasu Suzaki; Toshiki Yagi; Akira Tanaka; Yutaka Oiwa; Etsuya Shibayama (SAC, 2014)

Evaluation of A Resilience Embedded System Using Probabilistic Model-Checking. - Ling Fang; Yoriyuki Yamagata; Yutaka Oiwa (ESSS, 2014)

Priority Integration for Weighted Combinatorial Testing. - Eun-Hye Choi; Takashi Kitamura 001; Cyrille Artho; Akihisa Yamada 002; Yutaka Oiwa (COMPSAC, 2015)

Optimization of Combinatorial Testing by Incremental SAT Solving. - Akihisa Yamada 002; Takashi Kitamura 001; Cyrille Artho; Eun-Hye Choi; Yutaka Oiwa; Armin Biere (ICST, 2015)

Combinatorial Testing for Tree-Structured Test Models with Constraints. - Takashi Kitamura 001; Akihisa Yamada 002; Goro Hatayama; Cyrille Artho; Eun-Hye Choi; Thi Bich Ngoc Do; Yutaka Oiwa; Shinya Sakuragi (QRS, 2015)

HTTP Authentication Extensions for Interactive Clients. - Yutaka Oiwa; Hajime Watanabe; Hiromitsu Takagi; Kaoru Maeda; Tatsuya Hayashi; Yuichi Ioku (RFC, 2017)

Mutual Authentication Protocol for HTTP. - Yutaka Oiwa; Hajime Watanabe; Hiromitsu Takagi; Kaoru Maeda; Tatsuya Hayashi; Yuichi Ioku (RFC, 2017)

Mutual Authentication Protocol for HTTP: Cryptographic Algorithms Based on the Key Agreement Mechanism 3 (KAM3). - Yutaka Oiwa; Hajime Watanabe; Hiromitsu Takagi; Kaoru Maeda; Tatsuya Hayashi; Yuichi Ioku (RFC, 2017)

Automatic Generation of Train Timetables from Mesoscopic Railway Models by SMT-Solver. - Yoshinao Isobe; Hisabumi Hatsugai; Akira Tanaka; Yutaka Oiwa; Takanori Ambe; Akimasa Okada; Satoru Kitamura; Yamato Fukuta; Takashi Kunifuji (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2019)

AI robustness analysis with consideration of corner cases. - Tinghui Ouyang; Yoshinao Isobe; Vicent Sanz Marco; Jun Ogata; Yoshiki Seo; Yutaka Oiwa (AITest, 2021)

Corner Case Data Description and Detection. - Tinghui Ouyang; Vicent Sanz Marco; Yoshinao Isobe; Hideki Asoh; Yutaka Oiwa; Yoshiki Seo (WAIN@ICSE, 2021)

Corner case data description and detection. - Tinghui Ouyang; Vicent Sant Marco; Yoshinao Isobe; Hideki Asoh; Yutaka Oiwa; Yoshiki Seo (CoRR, 2021)

Formal Modeling and Verification of Concurrent FSMs: Case Study on Event-Based Cooperative Transport Robots. - Yoshinao Isobe; Nobuhiko Miyamoto; Noriaki Ando; Yutaka Oiwa (IEICE Trans. Inf. Syst., 2021)

Quality assurance study with mismatched data in sentiment analysis. - Tinghui Ouyang; Yoshiki Seo; Yutaka Oiwa (APSEC, 2022)

Autonomous driving quality assurance with data uncertainty analysis. - Tinghui Ouyang; Yoshinao Isobe; Saïma Sultana; Yoshiki Seo; Yutaka Oiwa (IJCNN, 2022)

Threats, Vulnerabilities, and Controls of Machine Learning Based Systems: A Survey and Taxonomy. - Yusuke Kawamoto 001; Kazumasa Miyake; Koichi Konishi; Yutaka Oiwa (CoRR, 2023)