osuseclab Goto Github PK

3dscan

5g-spector

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

anableps

apidiff

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

automap

blescope

bluetooth-pairing-formal-verification

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

canhunter

cheatfighter

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

cmrfscanner

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

donglescope

firmxray

gaenplus

inputscope

A tool that automatically detects both the execution context of user input validation and also the content involved in the validation, to automatically expose the secrets of interest.

iotspotter

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

leakscope

Value set analysis(VSA) for revealing the possible values (strings) of the keys from mobile app

minicrawler

A keyword based crawler for WeChat Mini-apps

multiverse

A static binary rewriter that does not use heuristics

paymentscope

pwrleak

qtre

A Ghidra headless analyzer tailored for Qt binary analysis

reusable-enclaves

Implementation of the Reusable Enclaves paper

rildefender

RILDefender: An Android Mobile Privacy Protection Service Against SMS Exploits

scriptshield

selectivetaint

sgx-enclave-formal-verification

Tamarin models for state continuity of SGX enclave programs

sgxpectre

sgxracer

stacco

symlm

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