Yutaka Oiwa

Publication Activity (10 Years)

Years Active: 2000-2023
Publications (10 Years): 14

Top Topics

Machine Learning

Quality Assurance

Mutual Authentication

Convex Constraints

Top Venues

Publications

Yusuke Kawamoto, Kazumasa Miyake, Koichi Konishi, Yutaka Oiwa
Threats, Vulnerabilities, and Controls of Machine Learning Based Systems: A Survey and Taxonomy. CoRR (2023)
Tinghui Ouyang, Yoshinao Isobe, Saïma Sultana, Yoshiki Seo, Yutaka Oiwa
Autonomous driving quality assurance with data uncertainty analysis. IJCNN (2022)
Tinghui Ouyang, Yoshiki Seo, Yutaka Oiwa
Quality assurance study with mismatched data in sentiment analysis. APSEC (2022)
Tinghui Ouyang, Yoshinao Isobe, Vicent Sanz Marco, Jun Ogata, Yoshiki Seo, Yutaka Oiwa
AI robustness analysis with consideration of corner cases. AITest (2021)
Tinghui Ouyang, Vicent Sanz Marco, Yoshinao Isobe, Hideki Asoh, Yutaka Oiwa, Yoshiki Seo
Corner Case Data Description and Detection. WAIN@ICSE (2021)
Tinghui Ouyang, Vicent Sant Marco, Yoshinao Isobe, Hideki Asoh, Yutaka Oiwa, Yoshiki Seo
Corner case data description and detection. CoRR (2021)
Yoshinao Isobe, Nobuhiko Miyamoto, Noriaki Ando, Yutaka Oiwa
Formal Modeling and Verification of Concurrent FSMs: Case Study on Event-Based Cooperative Transport Robots. IEICE Trans. Inf. Syst. (10) (2021)
Yoshinao Isobe, Hisabumi Hatsugai, Akira Tanaka, Yutaka Oiwa, Takanori Ambe, Akimasa Okada, Satoru Kitamura, Yamato Fukuta, Takashi Kunifuji
Automatic Generation of Train Timetables from Mesoscopic Railway Models by SMT-Solver. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (2) (2019)
Yutaka Oiwa, Hajime Watanabe, Hiromitsu Takagi, Kaoru Maeda, Tatsuya Hayashi, Yuichi Ioku
HTTP Authentication Extensions for Interactive Clients. RFC 8053 (2017)
Yutaka Oiwa, Hajime Watanabe, Hiromitsu Takagi, Kaoru Maeda, Tatsuya Hayashi, Yuichi Ioku
Mutual Authentication Protocol for HTTP. RFC 8120 (2017)
Yutaka Oiwa, Hajime Watanabe, Hiromitsu Takagi, Kaoru Maeda, Tatsuya Hayashi, Yuichi Ioku
Mutual Authentication Protocol for HTTP: Cryptographic Algorithms Based on the Key Agreement Mechanism 3 (KAM3). RFC 8121 (2017)
Akihisa Yamada, Takashi Kitamura, Cyrille Artho, Eun-Hye Choi, Yutaka Oiwa, Armin Biere
Optimization of Combinatorial Testing by Incremental SAT Solving. ICST (2015)
Takashi Kitamura, Akihisa Yamada, Goro Hatayama, Cyrille Artho, Eun-Hye Choi, Thi Bich Ngoc Do, Yutaka Oiwa, Shinya Sakuragi
Combinatorial Testing for Tree-Structured Test Models with Constraints. QRS (2015)
Eun-Hye Choi, Takashi Kitamura, Cyrille Artho, Akihisa Yamada, Yutaka Oiwa
Priority Integration for Weighted Combinatorial Testing. COMPSAC (2015)
Ling Fang, Yoriyuki Yamagata, Yutaka Oiwa
Evaluation of A Resilience Embedded System Using Probabilistic Model-Checking. ESSS (2014)
Eun-Hye Choi, Takashi Kitamura, Cyrille Artho, Yutaka Oiwa
Design of Prioritized N-Wise Testing. ICTSS (2014)
Kuniyasu Suzaki, Toshiki Yagi, Akira Tanaka, Yutaka Oiwa, Etsuya Shibayama
Rollback mechanism of nested virtual machines for protocol fuzz testing. SAC (2014)
Reynald Affeldt, David Nowak, Yutaka Oiwa
Formal network packet processing with minimal fuss: invertible syntax descriptions at work. PLPV (2012)
Yutaka Oiwa
Implementation of the memory-safe full ANSI-C compiler. PLDI (2009)
Yutaka Oiwa, Hiromitsu Takagi, Hajime Watanabe, Hirofumi Suzuki
PAKE-based mutual HTTP authentication for preventing phishing attacks. WWW (2009)
Yutaka Oiwa, Hajime Watanabe, Hiromitsu Takagi
PAKE-based mutual HTTP authentication for preventing phishing attacks CoRR (2009)
Yutaka Oiwa, Kazukuni Kobara, Hajime Watanabe
A New Variant for an Attack Against RSA Signature Verification Using Parameter Field. EuroPKI (2007)
Kohei Suenaga, Yutaka Oiwa, Eijiro Sumii, Akinori Yonezawa
The Interface Definition Language for Fail-Safe C. ISSS (2003)
Yutaka Oiwa, Tatsurou Sekiguchi, Eijiro Sumii, Akinori Yonezawa
Fail-Safe ANSI-C Compiler: An Approach to Making C Programs Secure: Progress Report. ISSS (2002)
Yutaka Oiwa, Kenjiro Taura, Akinori Yonezawa
Extending Java virtual machine with integer-reference conversion. Concurr. Pract. Exp. 12 (6) (2000)