Education

Ph.D in Information Security

Korea Advanced Institute of Science and Technology (Mar 2018 – Current, South Korea)

MSc in Information Security

Korea Advanced Institute of Science and Technology (Mar 2017 – Feb 2018, South Korea)

BSc in Mathematics & Computer Science

Korea Advanced Institute of Science and Technology (Feb 2011 – Feb 2016, South Korea)

Publication

• [C8] AsFuzzer: Differential Testing of Assemblers with Error-Driven Grammar Inference (** ACM SIGSOFT Distinguished Paper Award **)
  Hyungseok Kim, Soomin Kim, Jungwoo Lee, and Sang Kil Cha.
  ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA), 2024 (to appear)
• [C7] FunProbe: Probing Functions from Binary Code through Probabilistic Analysis [pdf]
  Soomin Kim, Hyungseok Kim, and Sang Kil Cha.
  ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE), 2023 (Accept. ratio: 27%)
• [C6] Reassembly is Hard: A Reflection on Challenges and Strategies
  Hyungseok Kim, Soomin Kim, Junoh Lee, Kangkook Jee, and Sang Kil Cha.
  USENIX Security Symposium (Security), 2023 (Accept. ratio: 29%)
• [C5] Fuzzle: Making a Puzzle for Fuzzers (** ACM SIGSOFT Distinguished Paper Award **)
  Haeun Lee, Soomin Kim, and Sang Kil Cha.
  IEEE/ACM International Conference on Automated Software Engineering (ASE), 2022 (Accept. ratio: 22%)
• [D1] Design for the Recovery of Control Flow Graph on EVM bytecode
  Seungil Jung, Jaeseung Choi, and Soomin Kim.
  Korea Computer Congress (KCC), 2022
• [C4] How'd Security Benefit Reverse Engineers? The Implication of Intel CET on Function Identification
  Hyungseok Kim, Junoh Lee, Soomin Kim, Seungil Jung, and Sang Kil Cha.
  IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), 2022 (Accept. ratio: 19%)
• [C3] SMARTIAN: Enhancing Smart Contract Fuzzing with Static and Dynamic Data-Flow Analyses
  Jaeseung Choi, Doyeon Kim, Soomin Kim, Gustavo Grieco, Alex Groce, and Sang Kil Cha.
  IEEE/ACM International Conference on Automated Software Engineering (ASE), 2021 (Accept. ratio: 19%)
• [C2] Ankou: Guiding Grey-box Fuzzing towards Combinatorial Difference
  Valentin J.M. Manès, Soomin Kim, and Sang Kil Cha.
  IEEE/ACM International Conference on Software Engineering (ICSE), 2020 (Accept. ratio: 20.9%)
• [W1] B2R2: Building an Efficient Front-End for Binary Analysis (** Best Paper Award **)
  Minkyu Jung, Soomin Kim, HyungSeok Han, Jaeseung Choi, and Sang Kil Cha.
  Workshop on Binary Analysis Research (BAR), 2018
• [C1] Testing Intermediate Representation for Binary Analysis [pdf]
  Soomin Kim, Markus Faerevaag, Minkyu Jung, SeungIl Jung, DongYeop Oh, JongHyup Lee, and Sang Kil Cha.
  IEEE/ACM International Conference on Automated Software Engineering (ASE), 2017 (Accept. ratio: 24%)

Project

B2R2

B2R2 is a collection of useful algorithms, functions, and tools for binary analysis, written purely in F# (in .NET lingo, it is purely managed code). B2R2 has been named after R2-D2, a famous fictional robot appeared in the Star Wars. In fact, B2R2's original name was B2-R2, but we decided to use the name B2R2 instead, because .NET does not allow dash (-) characters in identifiers (or namespaces). The name essentially represents "binary" or "two": "binary" itself means "two" states anyways. "B" and "2" mean "binary", and "R" indicates reversing.

Experience

Academic Honor and Award

• ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA), 2024
  ACM SIGSOFT Distinguished Paper Award
• IEEE/ACM International Conference on Automated Software Engineering (ASE), 2022
  ACM SIGSOFT Distinguished Paper Award
• IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), 2022
  Student Travel Award
• Workshop on Binary Analysis Research (BAR), 2018
  Best Paper Award

Academic Service

• ACM Transactions on Privacy and Security, 2024
  Reviewer
• IEEE Transactions on Dependable and Secure Computing, 2022 - 2023
  Reviewer
• USENIX Security, 2022 - 2024
  Artifact Evaluation Committee
• Annual Computer Security Applications Conference (ACSAC), 2021 - 2023
  Artifact Evaluation Committee
• ACM Conference on Computer and Communications Security (CCS), 2022
  External Reviewer
• ACM ASIA Conference on Computer and Communications Security (ASIACCS), 2018 - 2021
  External Reviewer
• IEEE European Symposium on Security and Privacy (EuroS&P), 2020
  External Reviewer
• The Web Conference (WWW), 2020
  External Reviewer

Teaching Assistant

• CS220: Programming Principles
  2019S
• IS561: Binary Code Analysis and Secure Software Systems
  2017F, 2018F
• IS521: Information Security Laboratory
  2017S, 2018S

Capture The Flag

• DEF CON CTF 2019
  Finalist, KaisHack GoN
• DEF CON CTF 2016
  Finalist, KaisHack GoN
• DEF CON CTF 2014
  Finalist, KAIST GoN

Award

• Korea National Cryptography Contest, 2016
  1st Place
• Korea National Cryptography Contest, 2015
  1st Place
• Korea National Mathematics Competition for University Students, 2012
  Bronze Prize
• Korea National Mathematics Competition for University Students, 2011
  Silver Prize

Etc

• Samsung Capture The Flag, 2017
  Organizer
• KITRI the 2nd Best of the Best Program, 2013
  Best 10

Hobby - Vocal Music

• Harmony of KAIST
  KAIST auditorium, Nov. 21 2024
  <Five Guys> Quintet (Tenor)
• Nuptial Song to My Friend, Jo
  Feb. 18 2024
• Harmony of KAIST
  KAIST auditorium, Nov. 28 2023
  <Le Temps Le KAISTheatre> Quintet (Tenor)
• Nuptial Song to My Friend, Park
  Apr. 17 2022
• Die Fledermaus, J. Strauss II
  Daejeon Art Center, Dec. 3-5 2021
  Chorus