APSec1.0: Innovative Security Protocol Design with Formal Security Analysis for the Artificial Pancreas System

Jiyoon Kim 0001, Jongmin Oh, Daehyeon Son, Hoseok Kwon, Philip Virgil Astillo, Ilsun You. APSec1.0: Innovative Security Protocol Design with Formal Security Analysis for the Artificial Pancreas System. Sensors, 23(12):5501, 2023. [doi]

Authors

Jiyoon Kim 0001

This author has not been identified. Look up 'Jiyoon Kim 0001' in Google

Jongmin Oh

This author has not been identified. Look up 'Jongmin Oh' in Google

Daehyeon Son

This author has not been identified. Look up 'Daehyeon Son' in Google

Hoseok Kwon

This author has not been identified. Look up 'Hoseok Kwon' in Google

Philip Virgil Astillo

This author has not been identified. Look up 'Philip Virgil Astillo' in Google

Ilsun You

This author has not been identified. Look up 'Ilsun You' in Google