Rchr
J-GLOBAL ID：201601009356363303
Update date: Feb. 01, 2024
OIWA Yutaka
オオイワ ユタカ | OIWA Yutaka
Contact this researcher
You can send email directly to the researcher.
Affiliation and department：
National Institute of Advanced Industrial Science and Technology
About National Institute of Advanced Industrial Science and Technology
Search "National Institute of Advanced Industrial Science and Technology"
Research field (3)：
Information security
, Software
, Information theory
Research keywords (2)：
Computer Security
, Computer Software
Research theme for competitive and other funds (4)：
2019 - 2024 Quality measurement and testbed for machine learning systems
2015 - 2018 A Development Process of Control Software for Safe Cooperative Robots
2012 - 2016 Model and formal verification of the C language for secure construction of embedded software
2003 - 2004 実行の安全性を保証するC言語コンパイラの実装手法に関する研究
Papers (22)：
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. 2019. 102-A. 2. 325-335
OIWA Yutaka. Information Flow Control for IoT/Cyber-Physical Society (extended abstract). Joho Chishiki Gakkaishi. 2017. 26. 4. 318-319
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. 2017. 8121. 1-17
Yutaka Oiwa, Hajime Watanabe, Hiromitsu Takagi, Kaoru Maeda, Tatsuya Hayashi, Yuichi Ioku. Mutual Authentication Protocol for HTTP. RFC. 2017. 8120. 1-53
Yutaka Oiwa, Hajime Watanabe, Hiromitsu Takagi, Kaoru Maeda, Tatsuya Hayashi, Yuichi Ioku. HTTP Authentication Extensions for Interactive Clients. RFC. 2017. 8053. 1-28
ｍore...
MISC (6)：
SHIGETOMI YAMAGUCHI Rie, OIWA Yutaka, WATANABE Hajime. A Note on serviceability between personal certificate and server certificate on PKI. IEICE technical report. 2011. 110. 443. 205-212
Yutaka Oiwa, Hiromitsu Takagi, Hajime Watanabe, Hirofumi Suzuki. PAKE-based mutual HTTP authentication for preventing phishing attacks. WWW'09 - Proceedings of the 18th International World Wide Web Conference. 2009. abs/0911.5230. 1143-1144
安全性を保証する ANSI-C 実行系の実装手法. コンピュータソフトウェア (日本ソフトウェア科学会). 2002. 19(3):39-44
DynJava: Type Safe Dynamic Code Generation in Java. 日本ソフトウェア科学会 第3回プログラミングおよびプログラミング言語ワークショップ (PPL2001). 2001
DynJava : Type Safe Dynamic Code Generation in Java(共著). The 3rd JSSST Workshop on Programming and Programming Languages(PPL2001). 2001
ｍore...
Education (3)：
2001 - 2005 The University of Tokyo The Graduate School of Information Science and Technology Department of Computer Science
1999 - 2001 The University of Tokyo Graduate School of Science Department of Information Science
- 1999 The University of Tokyo Faculty of Science Department of Information Science
Professional career (1)：
博士(情報理工学) (東京大学)
Awards (1)：
2001 - 日本ソフトウェア科学会 高橋奨励賞
Association Membership(s) (3)：
情報処理学会
, 計算機学会(Association for Computer Machinery, ACM)
, 日本ソフトウェア科学会
※ Researcher’s information displayed in J-GLOBAL is based on the information registered in
researchmap
.
For details, see here
.
Return to Previous Page
TOP
BOTTOM
