Pinned Repositories
baredroid
BootStomp
BootStomp: a bootloader vulnerability finder
difuze
Fuzzer for Linux Kernel Drivers
dr_checker
DR.CHECKER : A Soundy Vulnerability Detection Tool for Linux Kernel Drivers
greed
A symbolic execution engine for EVM smart contract binaries.
hal-fuzz
Source code of HAL-fuzz
karonte
Karonte is a static analysis tool to detect multi-binary vulnerabilities in embedded firmware
leakless
Function redirection via ELF tricks.
packware
Effects of packers on machine-learning-based malware classifiers that use only static analysis
pretender
Automatic modeling of hardware to enable the rehosting of embedded firmware
SecLab's Repositories
ucsb-seclab/packware
Effects of packers on machine-learning-based malware classifiers that use only static analysis
ucsb-seclab/pretender
Automatic modeling of hardware to enable the rehosting of embedded firmware
ucsb-seclab/greed
A symbolic execution engine for EVM smart contract binaries.
ucsb-seclab/goldphish
Arbitrage bot for the Ethereum blockchain
ucsb-seclab/popkorn-artifact
ucsb-seclab/heapster
Identify and test the security of dynamic memory allocators in monolithic firmware images
ucsb-seclab/diane
DiAne is a smart fuzzer for IoT devices
ucsb-seclab/chainreactor
ChainReactor is a research project that leverages AI planning to discover exploitation chains for privilege escalation on Unix systems. The project models the problem as a sequence of actions to achieve privilege escalation from initial access to a target system.
ucsb-seclab/actor
Source code for ACTOR, an action-guided kernel fuzzer (USENIX 2023 paper)
ucsb-seclab/syml
ucsb-seclab/nft-security-study
Code and data of the CCS '22 paper titled "Understanding Security Issues in the NFT Ecosystem"
ucsb-seclab/crush
ucsb-seclab/jackal
Confusum Contractum: Confused Deputy Vulnerabilities in Ethereum Smart Contracts
ucsb-seclab/shimware
ucsb-seclab/DeepCASE-Dataset
ucsb-seclab/DeepCASE
ucsb-seclab/columbus
Source code for Columbus (ICSE 2023 paper)
ucsb-seclab/GUIDE-ENRICHER
ucsb-seclab/py-evm
A Python implementation of the Ethereum Virtual Machine (plus analysis add-ons)
ucsb-seclab/VenoMave
ucsb-seclab/CVEX
CVEX is a framework for the reproducible exploitation of CVE vulnerabilities
ucsb-seclab/CVEX-records
CVEX Records
ucsb-seclab/harden-HBFA
HBFA fuzzer fork for the HARDEN project
ucsb-seclab/symbexcel-server
ucsb-seclab/DeepCapa
Automatically recognizing Mitre Att&ck Techniques in Windows Malware
ucsb-seclab/default-effect-paper
ucsb-seclab/erigon
Ethereum implementation on the efficiency frontier
ucsb-seclab/ictf-docs
Comprehensive documentation on iCTF
ucsb-seclab/klee
KLEE Symbolic Execution Engine
ucsb-seclab/xplor-cvex
Public website and package registry for CVEX exploration with ERSP group 23/24