ucsb-seclab Goto Github PK

actor

Source code for ACTOR, an action-guided kernel fuzzer (USENIX 2023 paper)

agrigento

Agrigento is a tool to identify privacy leaks in Android apps by performing black-box differential analysis on the network traffic.

android_broken_fingers

android_device_public

android_going_native

android_ui_deception

Source code for our "What the App is That? Deception and Countermeasures in the Android User Interface" paper

autofacts

Towards Automatically Generating a Sound and Complete Dataset for Evaluating Static Analysis Tools

baredroid

boomerang

Exploiting the Semantic Gap in Trusted Execution Environments

bootstomp

BootStomp: a bootloader vulnerability finder

bran

bullseyepoison

Bullseye Polytope Clean-Label Poisoning Attack

chainreactor

columbus

Source code for Columbus (ICSE 2023 paper)

conware

Framework for automatically modeling hardware peripherals.

crush

cs177-ctfd

CTFs as you need them

cs177-ctfd-oracle-challenges

Plugin for CTFd to manage oracle challenges

deepcase

deepcase-dataset

default-effect-paper

diane

DiAne is a smart fuzzer for IoT devices

difuze

Fuzzer for Linux Kernel Drivers

dr_checker

DR.CHECKER : A Soundy Vulnerability Detection Tool for Linux Kernel Drivers

erigon

Ethereum implementation on the efficiency frontier

glitch_resistor

goldphish

Arbitrage bot for the Ethereum blockchain

greed

A symbolic execution engine for EVM smart contract binaries.

hacrs

The human-assisted cyber reasoning system

hacrs-crs

The controller component of HaCRS to spawn it