SoftSec-KAIST / BotScreen
BotScreen: Trust Everybody, but Cut the Aimbots Yourself (USENIX Security '23)
☆13Updated last year
Related projects ⓘ
Alternatives and complementary repositories for BotScreen
- FunProbe: Probing Functions from Binary Code through Probabilistic Analysis (ESEC/FSE '23)☆13Updated last year
- A public repository for the class, "Software Security" at Seoul National University (SNU)☆10Updated 3 years ago
- JIGSAW is a fuzzing-based path constraint solver.☆68Updated 5 months ago
- CAMP: Compiler and Allocator-based Heap Memory Protection (USENIX Security 2024) ✨ Please give a star to https://github.com/cla7aye15I4nd…☆35Updated 3 months ago
- Fuzzle: Making a Puzzle for Fuzzers (ASE'22)☆42Updated 8 months ago
- BoKASAN: Binary-only Kernel Address Sanitizer for Effective Kernel Fuzzing☆27Updated last year
- Artifact for IEEE Security and Privacy 2022 paper: "SoK: Demystifying Binary Lifters Through the Lens of Downstream Applications"☆30Updated 2 years ago
- BENZENE: A Practical Root Cause Analysis System with an Under-Constrained State Mutation☆20Updated 7 months ago
- 2018s-IS521☆8Updated 6 years ago
- NTFUZZ: Enabling Type-Aware Kernel Fuzzing on Windows with Static Binary Analysis (IEEE S&P '21)☆96Updated 3 years ago
- Java class name obfuscation via classloader segregation and graph colouring☆18Updated 7 years ago
- USENIX 2021 - Nyx: Greybox Hypervisor Fuzzing using Fast Snapshots and Affine Types☆195Updated 2 years ago
- WASEM - a general symbolic execution framework for WebAssembly (WASM) binaries☆12Updated last month
- Unofficial implementation of asm2vec using pytorch ( with GPU acceleration )☆75Updated last year
- A cross platform framework to recover driver's communication interface.☆10Updated 3 years ago
- ☆33Updated last year
- Source code release for the KRace project☆27Updated 2 years ago
- MBA-Blast is a tool for simplification of MBA expressions.☆60Updated 3 years ago
- Intriguer: Field-Level Constraint Solving for Hybrid Fuzzing☆33Updated 11 months ago
- ☆46Updated 2 years ago
- A deep learning tool for generating platform-agnostic binary code embeddings☆21Updated 2 years ago
- The Use of Likely Invariants as Feedback for Fuzzers☆86Updated 2 years ago
- Super Fast Concolic Execution Engine based on Source Code Taint Tracing☆97Updated 2 years ago
- a generic decompiler testing framework that can automatically vet the decompilation correctness on the function level.☆13Updated 2 months ago
- ☆54Updated 8 months ago
- Symbolic Execution Over Processor Traces☆116Updated 2 months ago
- A data-flow-guided fuzzer☆111Updated last year
- Reassembly is Hard: A Reflection on Challenges and Strategies (USENIX Security '23)☆31Updated 5 months ago
- A symbolic execution engine for EVM smart contract binaries.☆75Updated last week
- UT based automated fuzz driver generation☆164Updated 3 months ago