形式検証とシステムソフトウェアの協働によるゼロトラストIoT

須崎有康

システム/制御/情報 「IoTとセキュリティ」特集号

巻: 68 号: 5 ページ: 185-190

Takashi Yagawa, Tadanori Teruya, Kuniyasu Suzaki, Hirotake Abe

Proceedings on IEEE European Symposium on Security and Privacy Workshops (EuroS&PW)

ページ: 186-192

査読あり / オープンアクセス

Chisa Ito, Atsuko Takefusa, Hidemoto Nakada, Masato Oguchi

Proc. IEEE COMPSAC 2024, SIS-SS

ページ: 2374-2379

査読あり / オープンアクセス

Yuya Uezato

Proceedings of the 51st International Colloquium on Automata, Languages, and Programming (ICALP)

巻: 297 号: 155 ページ: 1-20

査読あり / オープンアクセス

Atsuya Osaki, Manuel Poisson, Seiki Makino, Ryusei Shiiba, Kensuke Fukuda, Tadashi Okoshi, Jin Nakazawa

Proc. AINTEC 2024

ページ: 46-54

査読あり / オープンアクセス / 国際共著

Manuel Poisson, Rodrigo Carnier, Kensuke Fukuda

Proc. CSET 2024

ページ: 65-73

査読あり / オープンアクセス / 国際共著

Taro Sekiyama, Hiroshi Unno

Proceedings of the ACM on Programming Languages (PACMPL)

号: 8 ページ: 1-30

査読あり / オープンアクセス

Terunobu Inaba, Yutaka Ishikawa, Atsushi Igarashi, Taro Sekiyama

Proc. of the 11th International Symposium on Networks, Computers and Communications (ISNCC'24)

査読あり / オープンアクセス

Masaki Waga, Kotaro Matsuoka, Takashi Suwa, Naoki Matsumoto, Ryotaro Banno, Song Bian, Kohei Suenaga

Proc. of The 24th International Conference on Runtime Verification (RV 2024)

ページ: 59-69

査読あり / 国際共著

小林 久美子, 竹房 あつ子, 北川 直哉, 大島 浩太, 竹島 雅之, 平田 真樹, 森松 文毅, 吉田 浩, 合田 憲人

学術情報処理研究 (JACN)

巻: 28 号: 1 ページ: 66-75

査読あり / オープンアクセス

Chisa Ito, Atsuko Takefusa, Hidemoto Nakada, Masato Oguchi

Proc. 2025 IEEE International Conference on Consumer Electronics (ICCE)

ページ: 1-6

査読あり

Taro Sekiyama, Hiroshi Unno

Proceedings of the ACM on Programming Languages

巻: 9 ページ: 2306-2336

査読あり / オープンアクセス