Skip to content

Navigation Menu

Sign in
Appearance settings
SoftSec-KAIST

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly
Appearance settings
@SoftSec-KAIST

SoftSec Lab

SoftSec Lab @ KAIST

Pinned Loading

  1. MeanDiff MeanDiff Public

    Testing Intermediate Representations for Binary Analysis (ASE '17)

    F# 82 9

  2. CodeAlchemist CodeAlchemist Public

    CodeAlchemist: Semantics-Aware Code Generation to Find Vulnerabilities in JavaScript Engines (NDSS '19)

    F# 242 41

  3. Eclipser Eclipser Public

    Grey-box Concolic Testing on Binary Code (ICSE '19)

    F# 154 17

  4. NTFuzz NTFuzz Public

    NTFUZZ: Enabling Type-Aware Kernel Fuzzing on Windows with Static Binary Analysis (IEEE S&P '21)

    F# 113 25

  5. Smartian Smartian Public

    Smartian: Enhancing Smart Contract Fuzzing with Static and Dynamic Data-Flow Analyses (ASE '21)

    F# 159 27

  6. SURI SURI Public

    Towards Sound Reassembly of Modern x86-64 Binaries (ASPLOS'25)

    F# 24 2

Repositories

Loading
Type
Select type
Language
Select language
Sort
Select order
Showing 10 of 30 repositories
View all repositories

Top languages

Loading…

Most used topics

Loading…
Morty Proxy This is a proxified and sanitized view of the page, visit original site.