Joon-Ha Jang

Publication Activity (10 Years)

Years Active: 2017-2023
Publications (10 Years): 3

Top Topics

Formal Specification

Communication Protocols

Top Venues

Publications

Jinseob Jeong, Dongkwan Kim, Joon-Ha Jang, Juhwan Noh, Changhun Song, Yongdae Kim
Un-Rocking Drones: Foundations of Acoustic Injection Attacks and Recovery Thereof. NDSS (2023)
Joon-Ha Jang, ManGi Cho, Jaehoon Kim, Dongkwan Kim, Yongdae Kim
Paralyzing Drones via EMI Signal Injection on Sensory Communication Channels. NDSS (2023)
Joon-Ha Jang, Jin-Young Choi
Formal Specification and Verification of System of Systems Using UPPAAL: A Case Study of a Defensive Missile Systems. J. Commun. 12 (8) (2017)