20260303_icss

国内会議論文「LINEグループ通信に対するTamarin-Proverを用いた安全性自動検証」についてICSS研究会で発表しました。