Sign in
Brian Pak
Publication Activity (10 Years)
Years Active: 2010-2023
Publications (10 Years): 2
Top Topics
Source Files
Multi Dimensional
Open Source
Retrieval Method
Top Venues
USENIX Security Symposium
SP
</>
Publications
</>
HyungSeok Han
,
JeongOh Kyea
,
Yonghwi Jin
,
Jinoh Kang
,
Brian Pak
,
Insu Yun
QueryX: Symbolic Query on Decompiled Code for Finding Bugs in COTS Binaries.
SP
(2023)
HyungSeok Han
,
Andrew Wesie
,
Brian Pak
Precise and Scalable Detection of Use-after-Compacting-Garbage-Collection Bugs.
USENIX Security Symposium
(2021)
Sang Kil Cha
,
Brian Pak
,
David Brumley
,
Richard Jay Lipton
Platform-independent programs.
CCS
(2010)