| Toward certified robustness against real-world distribution shifts H Wu, T Tagomori, A Robey, F Yang, N Matni, G Pappas, H Hassani, ... 2023 IEEE Conference on Secure and Trustworthy Machine Learning (SaTML), 537-553, 2023 | 26 | 2023 |
| Marabou 2.0: a versatile formal analyzer of neural networks H Wu, O Isac, A Zeljić, T Tagomori, M Daggitt, W Kokke, I Refaeli, G Amir, ... International Conference on Computer Aided Verification, 249-264, 2024 | 22 | 2024 |
| 堅牢なスマートコントラクト開発のためのブロックチェーン 「技術」 入門 田篭照博 (No Title), 2017 | 4 | 2017 |
| AI セキュリティから学ぶディープラーニング 「技術」 入門 田篭照博 (No Title), 2021 | 2 | 2021 |
| INFORMATION PROCESSING DEVICE T Tagomori, K Kakimoto, Y Haga US Patent App. 18/202,364, 2024 | | 2024 |
| Information processing device T Tagomori US Patent 12,118,585, 2024 | | 2024 |
| Information processing device for improving quality of generator of generative adversarial network (gan) T Tagomori US Patent App. 17/880,336, 2024 | | 2024 |
| Inspection system, inspection method, and computer program T Tagomori US Patent App. 18/351,697, 2023 | | 2023 |
| Information processing apparatus for improving robustness of deep neural network by using adversarial training and formal method T Tagomori US Patent App. 17/714,563, 2023 | | 2023 |
| Inspection system, inspection method, and computer program T Tagomori US Patent 11,741,229, 2023 | | 2023 |
| IT セキュリティー対策最前線 (第 6 回) 注目集まる 「AI セキュリティー」 攻撃の種類と緩和策を押さえる 田篭照博 日経コンピュータ= Nikkei computer, 66-69, 2023 | | 2023 |
| Inspection system, inspection method, and computer program T Tagomori US Patent 11,074,343, 2021 | | 2021 |
| 堅牢なシステム開発/運用を実現するためのビットコイン 「技術」 入門 田篭照博 (No Title), 2018 | | 2018 |
| An Ontology for Queueing Network T Tagomori, T Gonsalves, K Itoh IEICE Technical Report; IEICE Tech. Rep. 107 (428), 73-76, 2008 | | 2008 |
| 情報セキュリティの基礎知識: イラスト図解満載 中村， 行宏， 四柳， 勝利， 田篭， 照博， 黒澤 (No Title), 0 | | |
