ucsb-seclab/greed

Stars
73
Rank 431,132 (Top 9 %)
Language
Python
License
MIT License
Created over 2 years ago
Updated about 2 months ago

ucsb-seclab/greed

ucsb-seclab

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

A symbolic execution engine for EVM smart contract binaries.

karonte

Karonte is a static analysis tool to detect multi-binary vulnerabilities in embedded firmware

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

leakless

Function redirection via ELF tricks.

hal-fuzz

Source code of HAL-fuzz

baredroid

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

agrigento

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

monolithic-firmware-collection

Repository for monolithic firmware blobs

goldphish

Arbitrage bot for the Ethereum blockchain

popkorn-artifact

boomerang

Exploiting the Semantic Gap in Trusted Execution Environments

sailfish

Data and code for the IEEE S&P'22 paper SAILFISH: Vetting Smart Contract State-Inconsistency Bugs in Seconds

heapster

Identify and test the security of dynamic memory allocators in monolithic firmware images

diane

DiAne is a smart fuzzer for IoT devices

sasi

Signedness-Agnostic Strided-Interval

actor

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

android_ui_deception

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

android_broken_fingers

BullseyePoison

Bullseye Polytope Clean-Label Poisoning Attack

autofacts

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

syml

symbexcel

Neurlux

Code from the paper: Neurlux: Dynamic Malware Analysis Without Feature Engineering

nft-security-study

Code and data of the CCS '22 paper titled "Understanding Security Issues in the NFT Ecosystem"

LoopMC

All code related to the LoopMC paper

chainreactor

ictf-service-samples

Sample services for the 2015 iCTF

regulator-dynamic

shimware

turi

DeepCASE-Dataset

bran

trust.io

A method for automatically protecting the physical interfaces on cyber-physical systems using TrustZone.

hacrs

The human-assisted cyber reasoning system

jackal

Confusum Contractum: Confused Deputy Vulnerabilities in Ethereum Smart Contracts

DeepCASE

iCTF23

An educational CTF centered about the concept of AI and Cybersecurity

conware

Framework for automatically modeling hardware peripherals.

android_device_public

columbus

Source code for Columbus (ICSE 2023 paper)

VenoMave

crush

SECrow

Sources ad Guide for Secure Crowdsourced Location Tracking System paper.

slither-sailfish

Modified Slither for Sailfish

glitch_resistor

cs177-ctfd-oracle-challenges

Plugin for CTFd to manage oracle challenges

invisible-code

heapster-dataset-metadata

Collection of metadata for the firmware images used in Heapster

GUIDE-ENRICHER