Explore @OSUSecLab Open Source projects

Computer Security Laboratory @ OSU (@OSUSecLab)

OSUSecLab

Stars
765
Global Org. Rank 18,349 (Top 6 %)
Followers 76
Following 1
Registered almost 7 years ago
Most used languages

Python
40.7 %

Java
37.0 %

C
11.1 %

TypeScript
3.7 %

Go
3.7 %

C++
3.7 %
Location 🇺🇸 United States
Country Total Rank 13,793
Country Ranking

Java
1,119

C
2,800

Go
2,924

C++
3,185

Python
4,327

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

QtRE

A Ghidra headless analyzer tailored for Qt binary analysis

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