Computer Security Laboratory @ OSU

Columbus, OH

Pinned Repositories

FirmXRay
Language:Java54 3 48
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.
Language:Java46 9 06
MiniCrawler
A keyword based crawler for WeChat Mini-apps
Language:Java43 0 310
QtRE
A Ghidra headless analyzer tailored for Qt binary analysis
Language:Java41 2 26
SelectiveTaint
Language:C++70 5 34
SgxPectre
Language:Python72 5 212
SymLM
Implementation of CCS'2022 paper "SymLM: Predicting Function Names in Stripped Binaries via Context-Sensitive Execution-Aware Code Embeddings"
Language:Python50 2 155
TaintMini
Detecting Flow of Sensitive Data in Mini-Programs with Static Taint Analysis
Language:Python70 2 29
TxSpector
Language:Go58 0 515
vSGX
The implementation of the 'vSGX: Virtualizing SGX Enclaves on AMD SEV' paper
Language:C51 1 02

Computer Security Laboratory @ OSU's Repositories

OSUSecLab/SelectiveTaint
Language:C++70 5 34
OSUSecLab/TaintMini
Detecting Flow of Sensitive Data in Mini-Programs with Static Taint Analysis
Language:Python70 2 29
OSUSecLab/TxSpector
Language:Go58 0 515
OSUSecLab/FirmXRay
Language:Java54 3 48
OSUSecLab/vSGX
The implementation of the 'vSGX: Virtualizing SGX Enclaves on AMD SEV' paper
Language:C51 1 02
OSUSecLab/SymLM
Implementation of CCS'2022 paper "SymLM: Predicting Function Names in Stripped Binaries via Context-Sensitive Execution-Aware Code Embeddings"
Language:Python50 2 155
OSUSecLab/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.
Language:Java46 9 06
OSUSecLab/MiniCrawler
A keyword based crawler for WeChat Mini-apps
Language:Java43 0 310
OSUSecLab/QtRE
A Ghidra headless analyzer tailored for Qt binary analysis
Language:Java41 2 26
OSUSecLab/LeakScope
Value set analysis(VSA) for revealing the possible values (strings) of the keys from mobile app
Language:Java40 3 314
OSUSecLab/CANHunter
Language:Java36 3 012
OSUSecLab/DongleScope
Language:Python32 5 16
OSUSecLab/CMRFScanner
This is the repository for the paper "Cross Miniapp Request Forgery"
Language:Python14 1 03
OSUSecLab/Reusable-Enclaves
Implementation of the Reusable Enclaves paper
12 3 10
OSUSecLab/RILDefender
RILDefender: An Android Mobile Privacy Protection Service Against SMS Exploits
Language:Java11 2 05
OSUSecLab/PaymentScope
Language:Python9 1 13
OSUSecLab/AutoMap
Language:Python8 1 01
OSUSecLab/SGX-Enclave-Formal-Verification
Tamarin models for state continuity of SGX enclave programs
Language:Python6 3 00
OSUSecLab/SGXRacer
Language:C6 2 02
OSUSecLab/IoTSpotter
Code and data release for CCS'2022 paper "Understanding IoT Security from a Market-Scale Perspective"
Language:Python5 0 0
OSUSecLab/APIDiff
APIDiff is an automatic tool that generates test cases for each API and identifies execution discrepancies.
Language:TypeScript4 1 03
OSUSecLab/bluetooth-pairing-formal-verification
Tamarin models for Bluetooth secure pairing protocols: Passkey Entry (PE) and Numeric comparison (NC)
Language:Python4 3 00
OSUSecLab/CheatFighter
Extract threat intelligence from memory modifying game cheats through static binary analysis
Language:Java3 1 1
OSUSecLab/3DScan
Language:Python1 1 20
OSUSecLab/GAENPlus
Language:Java0 1 10
OSUSecLab/v2v-sgx-prelim
Preliminary V2V SGX vs PKI code performance comparison
Language:C++0 2 00
OSUSecLab/5G-Spector
An O-RAN compliant runtime IDS for L3 celluar attack Detection
0 01
OSUSecLab/BaseMirror
OSUSecLab/BLEScope
Language:Java0 0
OSUSecLab/PWRLEAK
Language:C2 0