Computer Security Laboratory @ OSU

TaintMini

Detecting Flow of Sensitive Data in Mini-Programs with Static Taint Analysis

QtRE

A Ghidra headless analyzer tailored for Qt binary analysis

FirmXRay

SymLM

Implementation of CCS'2022 paper "SymLM: Predicting Function Names in Stripped Binaries via Context-Sensitive Execution-Aware Code Embeddings"

TxSpector

vSGX

The implementation of the 'vSGX: Virtualizing SGX Enclaves on AMD SEV' paper

SymGen

Implementation of "Beyond Classification: Inferring Function Names in Stripped Binaries via Domain Adapted LLMs" (NDSS'25)

BaseMirror

CMRFScanner

This is the repository for the paper "Cross Miniapp Request Forgery"

RILDefender

RILDefender: An Android Mobile Privacy Protection Service Against SMS Exploits

Reusable-Enclaves

Implementation of the Reusable Enclaves paper

PaymentScope

APIDiff

APIDiff is an automatic tool that generates test cases for each API and identifies execution discrepancies.

AutoMap

bluetooth-pairing-formal-verification

Tamarin models for Bluetooth secure pairing protocols: Passkey Entry (PE) and Numeric comparison (NC)

SGXRacer

elfuzz

Replication package of ELFuzz

IoTSpotter

Code and data release for CCS'2022 paper "Understanding IoT Security from a Market-Scale Perspective"

AutoVR

An automated UI and event tester for Unity VR games.

CheatFighter

Extract threat intelligence from memory modifying game cheats through static binary analysis

ProxyEx

TensorCrypt

Implementation for NDSS'2025 paper: "TensorCrypt: Repurposing Neural Networks for Efficient Cryptographic Computation"

3DScan

AnonymizationLayer

MOOSE

v2v-sgx-prelim

Preliminary V2V SGX vs PKI code performance comparison

5G-Spector

An O-RAN compliant runtime IDS for L3 celluar attack Detection

BLEScope

DiscScope

Implementation for ASIA CCS'25 paper: An Empirical Study of C Decompilers: Performance Metrics and Error Taxonomy

PWRLEAK