Jaeseung Choi

Publications

305

Citations

H-Index

2018

Active since

Affiliations

Korea Advanced Institute of Science and Technology(Current)

Kootenay Association for Science & Technology

Jaeseung Choi is an author at Korea Advanced Institute of Science and Technology specializing in computer engineering, formal methods, and program analysis.

ORCID

Top concepts

FuzzingEngineeringFormal MethodsComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisFormal VerificationComputer EngineeringSoftware Engineering

Publications per year

2018–2021

Publications

SMARTIAN: Enhancing Smart Contract Fuzzing with Static and Dynamic Data-Flow Analyses

Jaeseung Choi, Doyeon Kim, Soomin Kim et al. · 2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE) · 2021 · 157 citations

Software Maintenance, Engineering, Traditional Software +24

Grey-Box Concolic Testing on Binary Code

Jaeseung Choi, Joonun Jang, Choongwoo Han et al. · 2019 · 79 citations

Grey-box Fuzzing, Engineering, Verification +18

NtFuzz: Enabling Type-Aware Kernel Fuzzing on Windows with Static Binary Analysis

Jaeseung Choi, Kangsu Kim, Daejin Lee et al. · 2021 · 35 citations

Engineering, Computer Architecture, Software Engineering +20

B2R2: Building an Efficient Front-End for Binary Analysis

Minkyu Jung, Soomin Kim, Hyung-Seok Han et al. · 2019 · 24 citations · Full text

Git-based {CTF}: A Simple and Effective Approach to Organizing In-Course Attack-and-Defense Security Competition

SeongIl Wi, Jaeseung Choi, Sang Kil · 2018 · 10 citations

Rows per page

1–5 of 5