​
Login / Signup
Aditya Pakki
ORCID
Publication Activity (10 Years)
Years Active: 2019-2022
Publications (10 Years): 5
Top Topics
Error Handling
Semantic Categories
Semi Automatically
Ubiquitous Computing
Top Venues
USENIX Security Symposium
CCS
IEEE Trans. Dependable Secur. Comput.
ESORICS (2)
</>
Publications
</>
Bowen Wang
,
Kangjie Lu
,
Qiushi Wu
,
Aditya Pakki
Unleashing Coveraged-Based Fuzzing Through Comprehensive, Efficient, and Faithful Exploitable-Bug Exposing.
IEEE Trans. Dependable Secur. Comput.
19 (5) (2022)
Qiushi Wu
,
Aditya Pakki
,
Navid Emamdoost
,
Stephen McCamant
,
Kangjie Lu
Understanding and Detecting Disordered Error Handling with Precise Function Pairing.
USENIX Security Symposium
(2021)
Aditya Pakki
,
Kangjie Lu
Exaggerated Error Handling Hurts! An In-Depth Study and Context-Aware Detection.
CCS
(2020)
Kangjie Lu
,
Aditya Pakki
,
Qiushi Wu
Detecting Missing-Check Bugs via Semantic- and Context-Aware Criticalness and Constraints Inferences.
USENIX Security Symposium
(2019)
Kangjie Lu
,
Aditya Pakki
,
Qiushi Wu
Automatically Identifying Security Checks for Detecting Kernel Semantic Bugs.
ESORICS (2)
(2019)