Gangmo Seong

Publication Activity (10 Years)

Years Active: 2021-2021
Publications (10 Years): 1

Top Topics

Computer Programs

Fully Functional

Top Venues

Publications

Seongkyeong Kwon, Seunghoon Woo, Gangmo Seong, Heejo Lee
OCTOPOCS: Automatic Verification of Propagated Vulnerable Code Using Reformed Proofs of Concept. DSN (2021)