Login / Signup
Miyoung Kang
ORCID
Publication Activity (10 Years)
Years Active: 2006-2023
Publications (10 Years): 8
Top Topics
Formal Specification
Model Checking
Security Flaws
Packet Filtering
Top Venues
ICACT
IEICE Trans. Inf. Syst.
ICTC
DARE
</>
Publications
</>