Login / Signup
Haney Kang
Publication Activity (10 Years)
Years Active: 2022-2022
Publications (10 Years): 1
Top Topics
Lightweight
Computationally Efficient
Peer To Peer
Semi Automatic
Top Venues
IEICE Trans. Inf. Syst.
</>
Publications
</>
Haney Kang
,
Seungwon Shin
: Automatic and Efficient Verification for Container Network Policies.
IEICE Trans. Inf. Syst.
(12) (2022)