OSUSecLab/TxSpector OSUSecLab/TxSpector

  • Stars
    star
    55
  • Rank 534,436 (Top 11 %)
  • Language
    Go
  • Created over 4 years ago
  • Updated over 1 year ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
OSUSecLab/TxSpector
github

OSUSecLab

Reviews

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

Repository Details

More Repositories

1

SgxPectre

Python
73
star
2

TaintMini

Detecting Flow of Sensitive Data in Mini-Programs with Static Taint Analysis
Python
70
star
3

SelectiveTaint

C++
68
star
4

FirmXRay

Java
53
star
5

vSGX

The implementation of the 'vSGX: Virtualizing SGX Enclaves on AMD SEV' paper
C
52
star
6

SymLM

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

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.
Java
46
star
8

MiniCrawler

A keyword based crawler for WeChat Mini-apps
Java
42
star
9

QtRE

A Ghidra headless analyzer tailored for Qt binary analysis
Java
40
star
10

LeakScope

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

CANHunter

Java
36
star
12

DongleScope

Python
32
star
13

CMRFScanner

This is the repository for the paper "Cross Miniapp Request Forgery"
Python
13
star
14

Reusable-Enclaves

Implementation of the Reusable Enclaves paper
12
star
15

RILDefender

RILDefender: An Android Mobile Privacy Protection Service Against SMS Exploits
Java
11
star
16

PaymentScope

Python
8
star
17

AutoMap

Python
8
star
18

SGX-Enclave-Formal-Verification

Tamarin models for state continuity of SGX enclave programs
Python
6
star
19

SGXRacer

C
6
star
20

bluetooth-pairing-formal-verification

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

scriptshield

C
4
star
22

ANABLEPS

Python
3
star
23

CheatFighter

Extract threat intelligence from memory modifying game cheats through static binary analysis
Java
3
star
24

APIDiff

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

Stacco

Java
2
star
26

3DScan

Python
1
star