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)

Soomin Kim

soomink [at] kaist [dot] ac [dot] kr

Ph.D Student (Advisor: Prof. Sang Kil Cha)
Graduate School of Information Security
Korea Advanced Institute of Science and Technology

Publication

  • [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

  • 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. 28 2023
    <Le Temps Le KAISTheatre> Quintet (Tenor)
  • Die Fledermaus, J. Strauss II
    Daejeon Art Center, Dec. 3-5 2021
    Chorus


Thanks to Vasilios Mavroudis for website template