Created on June 17, 2026
2026
ICSS研究会で発表した国内会議論文「LINEグループ通信に対するTamarin-Proverを用いた安全性自動検証」がICSS研究賞を受賞しました。