2021년 12월 신규 논문 게재2022년 1월 3일최종 수정일: 2022년 7월 11일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.
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.