研究キーワード (6件):
圏論
, 計算機システムの形式検証
, 情報セキュリティ
, Category Theory
, Formal Verification of Computer Systems
, Information Security
論文 (145件):
Ichiro Hasuo, Yuichiro Oyabu, Clovis Eberhart, Kohei Suenaga, Kenta Cho 0002, Shin-ya Katsumata. Control-data separation and logical condition propagation for efficient inference on probabilistic programs. J. Log. Algebraic Methods Program. 2024. 136. 100922-100922
Lelio Brun, Ichiro Hasuo, Yasushi Ono, Taro Sekiyama. Automated Security Analysis for Real-World IoT Devices. Proceedings of the 12th International Workshop on Hardware and Architectural Support for Security and Privacy. 2023
Proving Safety of Automated Driving Vehicles: Formalization of RSS with Program Logic
(The 3rd Workshop on Safety Testing and Validation of Connected and Automated Vehicles 2023)
Proving Safety of Automated Driving Vehicles
(Forum "Math for Industry" 2023 2023)