Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

Projects in Awesome Lists by SoftSec-KAIST

A curated list of projects in awesome lists by SoftSec-KAIST .

https://github.com/softsec-kaist/codealchemist

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

code-generation fsharp fuzzer js-fuzzing

Last synced: 19 Dec 2024

https://github.com/SoftSec-KAIST/CodeAlchemist

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

code-generation fsharp fuzzer js-fuzzing

Last synced: 07 Nov 2024

https://github.com/softsec-kaist/fuzzing-survey

The Art, Science, and Engineering of Fuzzing: A Survey

fuzzer fuzzing genealogy-database visualization

Last synced: 20 Dec 2024

https://github.com/SoftSec-KAIST/Fuzzing-Survey

The Art, Science, and Engineering of Fuzzing: A Survey

fuzzer fuzzing genealogy-database visualization

Last synced: 16 Nov 2024

https://github.com/SoftSec-KAIST/Eclipser

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

concolic-testing fsharp fuzzer fuzzing testcase-generator

Last synced: 09 Nov 2024

https://github.com/softsec-kaist/eclipser

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

concolic-testing fsharp fuzzer fuzzing testcase-generator

Last synced: 14 Nov 2024

https://github.com/softsec-kaist/smartian

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

fsharp fuzzer fuzzing smart-contract-testing static-analyzer

Last synced: 19 Dec 2024

https://github.com/softsec-kaist/binkit

Binary Code Similarity Analysis (BCSA) Benchmark

benchmark binary-analysis

Last synced: 20 Dec 2024

https://github.com/softsec-kaist/imf

Inferred Model-based Fuzzer

fuzzer kernel-fuzzing macos

Last synced: 14 Nov 2024

https://github.com/softsec-kaist/tiknib

Binary Code Similarity Analysis (BCSA) Tool

binary-analysis similarity-analysis

Last synced: 14 Nov 2024

https://github.com/softsec-kaist/ntfuzz

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

b2r2 binary-analysis fsharp fuzzer fuzzing kernel-fuzzer windows-kernel

Last synced: 14 Nov 2024

https://github.com/softsec-kaist/meandiff

Testing Intermediate Representations for Binary Analysis (ASE '17)

binary-analysis differential-testing fsharp semantic-bugs symbolic-execution

Last synced: 14 Nov 2024

https://github.com/softsec-kaist/gitctf

Git-based CTF

ctf

Last synced: 14 Nov 2024

https://github.com/softsec-kaist/ankou

Ankou: Guiding Grey-box Fuzzing towards Combinatorial Difference (ICSE '20)

fuzzer fuzzing

Last synced: 14 Nov 2024

https://github.com/softsec-kaist/fuzzle

Fuzzle: Making a Puzzle for Fuzzers (ASE'22)

benchmark fuzzing

Last synced: 14 Nov 2024

https://github.com/softsec-kaist/reassessor

Reassembly is Hard: A Reflection on Challenges and Strategies (USENIX Security '23)

binary-analysis reassembler recompile software-testing

Last synced: 14 Nov 2024

https://github.com/softsec-kaist/smartian-artifact

Artifacts for Smartian, a grey-box fuzzer for Ethereum smart contracts.

Last synced: 14 Nov 2024

https://github.com/softsec-kaist/botscreen

BotScreen: Trust Everybody, but Cut the Aimbots Yourself (USENIX Security '23)

aimbot anticheat cs-go

Last synced: 14 Nov 2024

https://github.com/softsec-kaist/eclipser-artifact

Docker image for Eclipser

Last synced: 14 Nov 2024

https://github.com/softsec-kaist/fuzzle-artifact

Artifact evaluation repository for Fuzzle

Last synced: 14 Nov 2024

https://github.com/softsec-kaist/meandiff-lifterpyvex

Lift instruction to VEX, using PyVEX, and translate to MeanDiff's UIR

Last synced: 14 Nov 2024

https://github.com/softsec-kaist/llm1dfuzz

Systematic Bug Reproduction with Large Language Model (SECAI'24)

Last synced: 14 Nov 2024

https://github.com/softsec-kaist/meandiff-lifterbap

Lift instruction to BIL, using BAP, and translate to MeanDiff's UIR

Last synced: 14 Nov 2024

https://github.com/softsec-kaist/meandiff-lifterbinsec

Lift instruction to DBA, using BINSEC, and translate to MeanDiff's UIR

Last synced: 14 Nov 2024