千田 忠賢/Nariyoshi Chida, PhD
nariyoshichidamm AT gmail DOT com
最終更新日:2024年9月2日
所属
2024年4月 - 現在 准特別研究員 NTT社会情報研究所
2023年4月 - 2024年3月 研究員 NTT社会情報研究所
2022年4月 - 2023年3月 研究員 NTTセキュリティジャパン (NTT社会情報研究所より出向)
2021年7月 - 2022年4月 研究員 NTT社会情報研究所
2017年4月 - 2021年7月 研究員 NTTセキュアプラットフォーム研究所
外部発表等
論文誌(ジャーナル)
- Nariyoshi Chida, Tachio Terauchi
"On Lookaheads in Regular Expressions with Backreferences" (Extended Version)
IEICE Transactions on Information and Systems E106-D (5), pp.959-975,
2023
- 千田忠賢, 鐘本楊, 青木一史, 三好潤
"行動表現文法ELLを用いた攻撃シナリオ再構築技術"(推薦論文)
情報処理通信学会論文誌, Vol.61 No.2, pp.500-509,
2020年2月15日
- Nariyoshi Chida, Kimio Kuramitsu
"Parsing Expression Grammars with Unordered Choices"
Journal of Information Processing, Vol.25, pp.975-982,
February 2017
- Nariyoshi Chida and Tachio Terauchi
"Repairing Regex-Dependent String Functions",
39th IEEE/ACM International Conference on Automated Software Engineering (ASE'24), Sacramento, California, United States
October 27-November 1, 2024 [pdf]
- Nariyoshi Chida and Tachio Terauchi
"Repairing Regular Expressions for Extraction",
44th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI'23), Orlando, Florida, United States
June 17-21, 2023 [pdf, video]
- Nariyoshi Chida and Tachio Terauchi
"On Lookaheads in Regular Expressions with Backreferences",
7th International Conference on Formal Structures for Computation and Deduction (FSCD'22), Haifa, Israel
August 2-5, 2022 [pdf, slide]
- Nariyoshi Chida and Tachio Terauchi
"Repairing DoS Vulnerability of Real-World Regexes",
43rd IEEE Symposium on Security and Privacy (S&P'22), San Francisco, California, United States
May 22-26, 2022 [pdf, experiment data, video]
- Nariyoshi Chida, Yuhei Kawakoya, Dai Ikarashi, Kenji Takahashi, and Koushik Sen
"Is Stateful Packrat Parsing Really Linear in Practice? -- A Counter-Example, an Improved Grammar, and Its Parsing Algorithms",
ACM SIGPLAN The 29th International Conference on Compiler Construction (CC'20), San Diego, California, United States
February 22-26, 2020 [pdf (Full version), experiment data]
- Nariyoshi Chida and Kimio Kuramitsu
"Linear Parsing Expression Grammars",
11th International Conference on Language and Automata Theory and Applications (LATA'17), Umeå, Sweden
March 6-9, 2017 [pdf, slide]
- Nariyoshi Chida and Tachio Terauchi
"Repairing Regular Expressions for Extraction",
第26回プログラミングおよびプログラミング言語ワークショップ(PPL2024), 2024年3月
- Nariyoshi Chida and Tachio Terauchi
"On Lookaheads in Regular Expressions with Backreferences",
第25回プログラミングおよびプログラミング言語ワークショップ(PPL2023), 2023年3月
- Nariyoshi Chida and Tachio Terauchi
"Repairing DoS Vulnerability of Real-World Regexes",
第24回プログラミングおよびプログラミング言語ワークショップ(PPL2022), 2022年3月
- 千田忠賢, 鐘本楊, 青木一史, 三好潤
"行動表現文法ELLを用いた攻撃シナリオ再構築技術"(CSS2018奨励賞)
コンピュータセキュリティシンポジウム2018(CSS2018), 2018年10月
- 千田忠賢, 倉光君郎
"Generalized Parsing Expression Grammars"
情報処理学会 第113回 プログラミング研究会 (PRO-2016-5), 2017年3月 [slide]
- Nariyoshi Chida and Kimio Kuramitsu
"A Partial Conversion of Parsing Expression Grammars to Deterministic Finite Automata"(poster presentation),
14th Asian Symposium on Programming Languages and Systems (APLAS'16), Hanoi, Vietnam
November 21-23, 2016 [poster]
- 千田忠賢, 倉光君郎
"Regularity of Linear Parsing Expression Grammars"
情報処理学会 第111回 プログラミング研究会 (PRO-2016-3), 2016年10月
- 千田忠賢, 倉光君郎
"先読み付き正規表現の決定性有限オートマトンによるマッチングの実装"
第18回 プログラミングおよびプログラミング言語ワークショップ (PPL2016), 2016年3月 [poster]
- 千田忠賢, 佐藤 正典, 倉光君郎
"解析表現文法の決定性有限オートマトン化判定"
情報処理学会 第106回 プログラミング研究会 (PRO-2015-3), 2015年11月
招待講演
- Nariyoshi Chida
"正規表現とその拡張について"/"例を用いた正規表現の自動修正技術"
PPLサマースクール2023 (招待講演), 2023年9月
- Nariyoshi Chida and Tachio Terauchi
"Repairing DoS Vulnerability of Real-World Regexes",
第22回情報科学技術フォーラム(FIT2023) (トップカンファレンス特別講演), 2023年9月
- Nariyoshi Chida and Tachio Terauchi
"Repairing DoS Vulnerability of Real-World Regexes",
2022年 暗号と情報セキュリティワークショップ(WCIS2022) (招待講演), 2022年9月
- Nariyoshi Chida, Yuhei Kawakoya, Dai Ikarashi, Kenji Takahashi, and Koushik Sen
"Is Stateful Packrat Parsing Really Linear in Practice? — A Counter-Example, An Improved Grammar and Its Parsing Algorithms —"
日本ソフトウェア科学会第37回大会(JSSST2020) (トップカンファレンス特別講演), 2020年9月 [video]
Awards
Professional Services
- Program Committee, 第26回プログラミングおよびプログラミング言語ワークショップ (PPL'24)
- Additional Reviewer, 21st International Symposium on Automated Technology for Verification and Analysis (ATVA'23)
- Additional Reviewer, 37th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS'22)
- Additional Review Committee, 49th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL'22)
- External Reviewer, 16th International Workshop on Security (IWSEC'21)
- Additional Reviewer, 33rd International Conference on Computer-Aided Verification (CAV'21)
現在
- REMEDY: 所属判定用正規表現における誤りおよびReDoS脆弱性の自動修正
- R3: 文字列抽出用正規表現における誤りの自動修正
過去
- LPEG: 解析表現文法の部分的な決定性有限オートマトンへの変換
CVEs
- CVE-2022-25887: A regular expression denial of service (ReDoS) vulnerability in sanitize-html.
- CVE-2021-33503: A regular expression denial of service (ReDoS) vulnerability in urllib3.