OSUSecLab/Stacco OSUSecLab/Stacco

  • Stars
    star
    2
  • Language
    Java
  • License
    MIT License
  • Created about 6 years ago
  • Updated over 5 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
OSUSecLab/Stacco
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
72
star
2

TaintMini

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

SelectiveTaint

C++
70
star
4

TxSpector

Go
58
star
5

FirmXRay

Java
55
star
6

vSGX

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

SymLM

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

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
47
star
9

MiniCrawler

A keyword based crawler for WeChat Mini-apps
Java
44
star
10

QtRE

A Ghidra headless analyzer tailored for Qt binary analysis
Java
42
star
11

LeakScope

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

CANHunter

Java
36
star
13

DongleScope

Python
32
star
14

CMRFScanner

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

Reusable-Enclaves

Implementation of the Reusable Enclaves paper
12
star
16

RILDefender

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

PaymentScope

Python
9
star
18

AutoMap

Python
8
star
19

SGX-Enclave-Formal-Verification

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

SGXRacer

C
6
star
21

APIDiff

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

bluetooth-pairing-formal-verification

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

scriptshield

C
4
star
24

ANABLEPS

Python
3
star
25

CheatFighter

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

BaseMirror

Java
2
star
27

3DScan

Python
1
star