2021년 12월 신규 논문 게재

Daniel Gerbi Duguma, Ilsun You, Yonas Engida Gebremariam, and Jiyoon Kim, "Can Formal Security Verification Really Be Optional? Scrutinizing the Security of IMD Authentication Protocols," Sensors, Vol. 21, No. 24, pp. 8383:1-35, Dec. 2021.