Jiyoon Kim
2PUBLICATIONS
3CO-AUTHORS
Get your video featured.
Publish with JoVEGet your video featured.
Publish with JoVE
Publications (2)
Sort by Publication Date:
|Jul 08, 2023
APSec1.0: Innovative Security Protocol Design with Formal Security Analysis for the Artificial Pancreas System.Jiyoon Kim, Jongmin Oh, Daehyeon Son
|Dec 28, 2021
Can Formal Security Verification Really Be Optional? Scrutinizing the Security of IMD Authentication Protocols.Daniel Gerbi Duguma, Ilsun You, Yonas Engida Gebremariam
Pageof 1
