purseclab Goto Github PK

acero

akf

amp_patches_public

atlas

ATLAS: A Sequence-based Learning Approach for Attack Investigation

att_analysis

An investigation of the App Tracking Transparency (ATT) permission in iOS

attrackzone

btmodel_proverif

btprivacy

cve-2023-33768

DoS against Belkin smart plugs via crafted firmware injection

d-helix

a generic decompiler testing framework that can automatically vet the decompilation correctness on the function level.

dnd

A decompiler to automatically reverse-engineer the DNN semantics from its compiled binary using program analysis

drivetruth

evs_evasion

Evasion Attacks and Defenses on Smart Home Physical Event Verification

fuzzpd

fuzzsgx

fuzzusb

gevisor

intender

A black-box fuzzing framework for the Intent-Based Networking (IBN)

intermittent-traces

Physical Side-Channel Attacks against Intermittent Devices

iotseer

Discovering IoT Physical Channel Vulnerabilities

lightblue

An automatic framework to remove unneeded and unsafe code from Bluetooth stacks of Android and Linux, using both source code analysis (LLVM) and binary analysis (angr).

llm_security_privacy_advice

Artifacts for ACSAC Paper: Can Large Language Models Provide Security & Privacy Advice? Measuring the Ability of LLMs to Refute Misconceptions

m2mon

MMIO based security reference monitor

mesh-model

A comprehensive formal model of Bluetooth Mesh security protocols

patcherex2

A versatile and easy-to-use static binary patching tool.

patcherex2-extras

patchverif

pgfuzz

Policy-Guided Fuzzing for Robotic Vehicles

pgpatch

phasar

A LLVM-based static analysis framework.