Pinned Repositories
FirmXRay
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
SelectiveTaint
SgxPectre
SymLM
Implementation of CCS'2022 paper "SymLM: Predicting Function Names in Stripped Binaries via Context-Sensitive Execution-Aware Code Embeddings"
TaintMini
Detecting Flow of Sensitive Data in Mini-Programs with Static Taint Analysis
TxSpector
vSGX
The implementation of the 'vSGX: Virtualizing SGX Enclaves on AMD SEV' paper
Computer Security Laboratory @ OSU's Repositories
OSUSecLab/TaintMini
Detecting Flow of Sensitive Data in Mini-Programs with Static Taint Analysis
OSUSecLab/SelectiveTaint
OSUSecLab/FirmXRay
OSUSecLab/TxSpector
OSUSecLab/SymLM
Implementation of CCS'2022 paper "SymLM: Predicting Function Names in Stripped Binaries via Context-Sensitive Execution-Aware Code Embeddings"
OSUSecLab/QtRE
A Ghidra headless analyzer tailored for Qt binary analysis
OSUSecLab/vSGX
The implementation of the 'vSGX: Virtualizing SGX Enclaves on AMD SEV' paper
OSUSecLab/MiniCrawler
A keyword based crawler for WeChat Mini-apps
OSUSecLab/DongleScope
OSUSecLab/CMRFScanner
This is the repository for the paper "Cross Miniapp Request Forgery"
OSUSecLab/Reusable-Enclaves
Implementation of the Reusable Enclaves paper
OSUSecLab/RILDefender
RILDefender: An Android Mobile Privacy Protection Service Against SMS Exploits
OSUSecLab/PaymentScope
OSUSecLab/AutoMap
OSUSecLab/BaseMirror
OSUSecLab/SGX-Enclave-Formal-Verification
Tamarin models for state continuity of SGX enclave programs
OSUSecLab/APIDiff
APIDiff is an automatic tool that generates test cases for each API and identifies execution discrepancies.
OSUSecLab/bluetooth-pairing-formal-verification
Tamarin models for Bluetooth secure pairing protocols: Passkey Entry (PE) and Numeric comparison (NC)
OSUSecLab/SGXRacer
OSUSecLab/IoTSpotter
Code and data release for CCS'2022 paper "Understanding IoT Security from a Market-Scale Perspective"
OSUSecLab/CheatFighter
Extract threat intelligence from memory modifying game cheats through static binary analysis
OSUSecLab/ProxyEx
OSUSecLab/3DScan
OSUSecLab/MOOSE
OSUSecLab/GAENPlus
OSUSecLab/v2v-sgx-prelim
Preliminary V2V SGX vs PKI code performance comparison
OSUSecLab/5G-Spector
An O-RAN compliant runtime IDS for L3 celluar attack Detection
OSUSecLab/AnonymizationLayer
OSUSecLab/BLEScope
OSUSecLab/PWRLEAK