OSUSecLab/QtRE

Stars
42
Rank 656,625 (Top 13 %)
Language
Java
License
Apache License 2.0
Created over 1 year ago
Updated over 1 year ago

OSUSecLab/QtRE

OSUSecLab

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

A Ghidra headless analyzer tailored for Qt binary analysis

SgxPectre

TaintMini

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

SelectiveTaint

TxSpector

FirmXRay

vSGX

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

SymLM

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

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.

MiniCrawler

A keyword based crawler for WeChat Mini-apps

LeakScope

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

CANHunter

DongleScope

CMRFScanner

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

Reusable-Enclaves

Implementation of the Reusable Enclaves paper

RILDefender

RILDefender: An Android Mobile Privacy Protection Service Against SMS Exploits

PaymentScope

AutoMap

SGX-Enclave-Formal-Verification

Tamarin models for state continuity of SGX enclave programs

SGXRacer

APIDiff

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

bluetooth-pairing-formal-verification

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

scriptshield

ANABLEPS

CheatFighter

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

Stacco

BaseMirror

3DScan