大学院生が「Best Special Session Paper Award」を受賞しました

本学の大学院生が、令和7年12月16日（火）から12月18日（木）にホテルエミシア札幌で開催された国際会議「The 9th International Conference on Mobile Internet Security (MobiSec 2025)」のスペシャルセッション「The 2nd MobiSec Special Session on Formal Security Verification (FSA 2025)」にて、「Best Special Session Paper Award」を受賞しました。


■受賞者・発表テーマ：松井　健吾さん
（理工学研究科　理工学専攻　博士前期課程2年・萩原研究室所属）
「Symbolic Formalization of PoW Integrity in Blockchain」
Kengo Matsui and Shigeki Hagihara (Chitose Institute of Science and Technology, Chitose Silicon Research Center) 

【参考】
国際会議MobiSec2025

スペシャルセッションFSA2025