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/karonte
Karonte is a static analysis tool to detect multi-binary vulnerabilities in embedded firmware
ucsb-seclab/BootStomp
BootStomp: a bootloader vulnerability finder
ucsb-seclab/difuze
Fuzzer for Linux Kernel Drivers
ucsb-seclab/dr_checker
DR.CHECKER : A Soundy Vulnerability Detection Tool for Linux Kernel Drivers
ucsb-seclab/hal-fuzz
Source code of HAL-fuzz
ucsb-seclab/baredroid
ucsb-seclab/monolithic-firmware-collection
Repository for monolithic firmware blobs
ucsb-seclab/agrigento
Agrigento is a tool to identify privacy leaks in Android apps by performing black-box differential analysis on the network traffic.
ucsb-seclab/boomerang
Exploiting the Semantic Gap in Trusted Execution Environments
ucsb-seclab/sasi
Signedness-Agnostic Strided-Interval
ucsb-seclab/android_broken_fingers
ucsb-seclab/autofacts
Towards Automatically Generating a Sound and Complete Dataset for Evaluating Static Analysis Tools
ucsb-seclab/BullseyePoison
Bullseye Polytope Clean-Label Poisoning Attack
ucsb-seclab/symbexcel
ucsb-seclab/Neurlux
Code from the paper: Neurlux: Dynamic Malware Analysis Without Feature Engineering
ucsb-seclab/LoopMC
All code related to the LoopMC paper
ucsb-seclab/regulator-dynamic
ucsb-seclab/turi
ucsb-seclab/bran
ucsb-seclab/hacrs
The human-assisted cyber reasoning system
ucsb-seclab/trust.io
A method for automatically protecting the physical interfaces on cyber-physical systems using TrustZone.
ucsb-seclab/android_device_public
ucsb-seclab/conware
Framework for automatically modeling hardware peripherals.
ucsb-seclab/SECrow
Sources ad Guide for Secure Crowdsourced Location Tracking System paper.
ucsb-seclab/glitch_resistor
ucsb-seclab/heapster-dataset-metadata
Collection of metadata for the firmware images used in Heapster
ucsb-seclab/invisible-code
ucsb-seclab/android_going_native
ucsb-seclab/hacrs-crs
The controller component of HaCRS to spawn it
ucsb-seclab/hacrs-input-generator
A framework to generate inputs for the HaCRS system to seed and evaluate against