PurSec Lab

ATLAS

ATLAS: A Sequence-based Learning Approach for Attack Investigation

DnD

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

PGFuzz

Policy-Guided Fuzzing for Robotic Vehicles

Patcherex2

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

intender

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

GEVisor

IoTSeer

Discovering IoT Physical Channel Vulnerabilities

SARA-Secure-Android-Remote-Authorization

AttrackZone

FuzzSGX

Pieces

Compartmentalization using hadrware and software techniques.

D-helix

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

WearOS

Understanding the Cross-Device Runtime Permission Model in Wearables

PatchVerif

Acero

EVS_Evasion

Evasion Attacks and Defenses on Smart Home Physical Event Verification

fuzzpd

TII_GPS_spoofing_detection

AKF

ATT_Analysis

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

btprivacy

CVE-2023-33768

DoS against Belkin smart plugs via crafted firmware injection

intermittent-traces

Physical Side-Channel Attacks against Intermittent Devices

LLM_Security_Privacy_Advice

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

mesh-model

A comprehensive formal model of Bluetooth Mesh security protocols

Patcherex2-Extras

phasar

A LLVM-based static analysis framework.

qemu-t8030

iPhone 11 emulated on QEMU

RVProber

VOGUES