Formal Specification and Verification of System of Systems Using UPPAAL: A Case Study of a Defensive Missile Systems. - Joon-Ha Jang; Jin-Young Choi (J. Commun., 2017)

Paralyzing Drones via EMI Signal Injection on Sensory Communication Channels. - Joon-Ha Jang; ManGi Cho; Jaehoon Kim; Dongkwan Kim 001; Yongdae Kim (NDSS, 2023)

Un-Rocking Drones: Foundations of Acoustic Injection Attacks and Recovery Thereof. - Jinseob Jeong; Dongkwan Kim 001; Joon-Ha Jang; Juhwan Noh; Changhun Song; Yongdae Kim (NDSS, 2023)