Skip to content

@OSUSecLab Computer Security Laboratory @ OSU

Change the repository type filter

All

    Repositories list

    35 repositories

    • BaseMirror

      Public
      Java
      •
      Apache License 2.0
      •0•2•0•0•Updated Sep 19, 2024Sep 19, 2024

    • FirmXRay

      Public
      Java
      •
      MIT License
      •8•55•1•1•Updated Jun 5, 2024Jun 5, 2024

    • bluetooth-pairing-formal-verification

      Public
      Tamarin models for Bluetooth secure pairing protocols: Passkey Entry (PE) and Numeric comparison (NC)
      bluetooth-low-energytamarin-prover
      Python
      •
      MIT License
      •0•4•0•0•Updated May 3, 2024May 3, 2024

    • BLEScope

      Public
      Java
      •0•0•0•0•Updated Apr 13, 2024Apr 13, 2024

    • TaintMini

      Public
      Detecting Flow of Sensitive Data in Mini-Programs with Static Taint Analysis
      securitytaint-analysismini-programsprivacy-leakageempirical-study
      Python
      •
      GNU Affero General Public License v3.0
      •10•72•0•2•Updated Mar 19, 2024Mar 19, 2024

    • 5G-Spector

      Public
      An O-RAN compliant runtime IDS for L3 celluar attack Detection
      Apache License 2.0
      •5•0•0•0•Updated Mar 14, 2024Mar 14, 2024

    • vSGX

      Public
      The implementation of the 'vSGX: Virtualizing SGX Enclaves on AMD SEV' paper
      C
      •
      GNU General Public License v2.0
      •2•52•0•0•Updated Nov 7, 2023Nov 7, 2023

    • SymLM

      Public
      Implementation of CCS'2022 paper "SymLM: Predicting Function Names in Stripped Binaries via Context-Sensitive Execution-Aware Code Embeddings"
      reverse-engineeringbinary-analysislanguage-model
      Python
      •
      MIT License
      •5•50•0•0•Updated Nov 2, 2023Nov 2, 2023

    • 3DScan

      Public
      Python
      •
      Apache License 2.0
      •0•1•2•0•Updated Sep 26, 2023Sep 26, 2023

    • Reusable-Enclaves

      Public
      Implementation of the Reusable Enclaves paper
      GNU General Public License v2.0
      •0•12•0•0•Updated Sep 25, 2023Sep 25, 2023

    • CMRFScanner

      Public
      This is the repository for the paper "Cross Miniapp Request Forgery"
      Python
      •
      GNU General Public License v2.0
      •3•14•0•0•Updated Aug 30, 2023Aug 30, 2023

    • PWRLEAK

      Public
      C
      •0•0•0•0•Updated Jul 28, 2023Jul 28, 2023

    • QtRE

      Public
      A Ghidra headless analyzer tailored for Qt binary analysis
      qtreverse-engineeringbinary-analysisghidra
      Java
      •
      Apache License 2.0
      •7•42•0•0•Updated Jul 24, 2023Jul 24, 2023

    • CheatFighter

      Public
      Extract threat intelligence from memory modifying game cheats through static binary analysis
      Java
      •
      MIT License
      •0•3•1•0•Updated Jul 8, 2023Jul 8, 2023

    • APIDiff

      Public
      APIDiff is an automatic tool that generates test cases for each API and identifies execution discrepancies.
      TypeScript
      •
      Apache License 2.0
      •3•5•0•0•Updated Jun 21, 2023Jun 21, 2023

    • RILDefender

      Public
      RILDefender: An Android Mobile Privacy Protection Service Against SMS Exploits
      androidsmsaosp
      Java
      •
      Apache License 2.0
      •5•11•0•0•Updated Jun 8, 2023Jun 8, 2023

    • IoTSpotter

      Public
      Code and data release for CCS'2022 paper "Understanding IoT Security from a Market-Scale Perspective"
      Python
      •
      MIT License
      •4•5•0•0•Updated Apr 13, 2023Apr 13, 2023

    • SGXRacer

      Public
      C
      •2•6•0•0•Updated Mar 8, 2023Mar 8, 2023

    • TxSpector

      Public
      Go
      •15•58•5•27•Updated Jan 4, 2023Jan 4, 2023

    • v2v-sgx-prelim

      Public
      Preliminary V2V SGX vs PKI code performance comparison
      C++
      •
      MIT License
      •0•0•0•0•Updated Dec 6, 2022Dec 6, 2022

    • AutoMap

      Public
      Python
      •1•8•0•0•Updated Oct 31, 2022Oct 31, 2022

    • PaymentScope

      Public
      Python
      •3•10•0•0•Updated Aug 12, 2022Aug 12, 2022

    • GAENPlus

      Public
      Java
      •
      Apache License 2.0
      •0•0•0•0•Updated Jul 8, 2022Jul 8, 2022

    • SelectiveTaint

      Public
      C++
      •4•70•2•0•Updated Sep 3, 2021Sep 3, 2021

    • SGX-Enclave-Formal-Verification

      Public
      Tamarin models for state continuity of SGX enclave programs
      tamarin-proverintel-sgxformal-models
      Python
      •0•6•0•0•Updated Aug 6, 2021Aug 6, 2021

    • MiniCrawler

      Public
      A keyword based crawler for WeChat Mini-apps
      Java
      •10•44•3•0•Updated Jun 29, 2021Jun 29, 2021

    • DongleScope

      Public
      Python
      •6•32•1•0•Updated Jul 27, 2020Jul 27, 2020

    • InputScope

      Public
      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
      •6•47•0•0•Updated May 31, 2020May 31, 2020

    • CANHunter

      Public
      Java
      •12•36•0•0•Updated May 31, 2020May 31, 2020

    • LeakScope

      Public
      Value set analysis(VSA) for revealing the possible values (strings) of the keys from mobile app
      Java
      •14•40•0•0•Updated May 19, 2020May 19, 2020