大岩 寛
オオイワ ユタカ (Yutaka OIWA)
更新日: 2024/02/01
基本情報
- 所属
- 国立研究開発法人産業技術総合研究所 サイバーフィジカルセキュリティ研究センター 研究チーム長
- 学位
-
博士（情報理工学）(2005年3月 東京大学)
- J-GLOBAL ID
- 201601009356363303
- researchmap会員ID
- B000256531
研究キーワード
2主要な学歴
3受賞
1-
2001年
論文
22-
IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 102-A(2) 325-335 2019年
-
情報知識学会誌 26(4) 318-319 2017年
-
RFC 8120 1-53 2017年 査読有り
-
RFC 8053 1-28 2017年 査読有り
-
2015 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE SECURITY AND RELIABILITY (QRS 2015) 141-150 2015年 査読有り
-
2015 IEEE 8th International Conference on Software Testing, Verification and Validation (ICST) 1-10 2015年 査読有り
-
39TH ANNUAL IEEE COMPUTERS, SOFTWARE AND APPLICATIONS CONFERENCE (COMPSAC 2015), VOL 2 242-247 2015年 査読有り
-
Electronic Proceedings in Theoretical Computer Science, EPTCS 150 35-49 2014年5月3日 査読有り
-
Proceedings of the ACM Symposium on Applied Computing 1484-1491 2014年 査読有り
-
TESTING SOFTWARE AND SYSTEMS (ICTSS 2014) 8763 186-191 2014年 査読有り
-
Conference Record of the Annual ACM Symposium on Principles of Programming Languages 27-35 2012年 査読有り
-
ACM SIGPLAN NOTICES 44(6) 259-269 2009年6月 査読有り
-
電気学会誌 = The journal of the Institute of Electrical Engineers of Japan 129(4) 241-244 2009年4月1日
-
PLDI'09 PROCEEDINGS OF THE 2009 ACM SIGPLAN CONFERENCE ON PROGRAMMING LANGUAGE DESIGN AND IMPLEMENTATION 259-269 2009年 査読有り
-
Extraction of properties in C implementations of security APIs for verification of Java applications3rd Int. Workshop on Analysis of Security APIs 2009年 査読有り
-
CoRR abs/0911.5230 2009年 査読有り
-
PUBLIC KEY INFRASTRUCTURE, PROCEEDINGS 4582 143-+ 2007年 査読有り
-
SOFTWARE SECURITY - THEORIES AND SYSTEMS 3233 192-208 2004年
-
第5回プログラミングおよびプログラミング言語ワークショップ(PPL 2003)論文集 135-148 2003年 査読有り
MISC
6-
電子情報通信学会技術研究報告. ISEC, 情報セキュリティ 110(443) 205-212 2011年2月24日
-
WWW'09 - Proceedings of the 18th International World Wide Web Conference abs/0911.5230 1143-1144 2009年
-
コンピュータソフトウェア (日本ソフトウェア科学会) 19(3):39-44 2002年
-
日本ソフトウェア科学会 第3回プログラミングおよびプログラミング言語ワークショップ (PPL2001) 2001年
-
The 3rd JSSST Workshop on Programming and Programming Languages(PPL2001) 2001年
-
第2回プログラミングおよび応用のシステムに関するワークショップ(SPA99) 1999年
共同研究・競争的資金等の研究課題
4-
新エネルギー・産業技術総合開発機構 2019年7月 - 2024年3月
-
日本学術振興会 科学研究費助成事業 基盤研究(B) 基盤研究(B) 2015年4月 - 2018年3月
-
日本学術振興会 科学研究費助成事業 基盤研究(C) 基盤研究(C) 2012年4月 - 2016年3月
-
日本学術振興会 科学研究費助成事業 特別研究員奨励費 特別研究員奨励費 2003年 - 2004年