Skip to content

@OSUSecLab Computer Security Laboratory @ OSU

Change the repository type filter

All

    Repositories list

    38 repositories

    • AnonymizationLayer

      Public
      0•0•0•0•Updated Dec 5, 2024Dec 5, 2024

    • ProxyEx

      Public
      HTML
      •0•2•0•0•Updated Nov 30, 2024Nov 30, 2024

    • BaseMirror

      Public
      Java
      •
      Apache License 2.0
      •3•9•0•0•Updated Nov 9, 2024Nov 9, 2024

    • RILDefender

      Public
      RILDefender: An Android Mobile Privacy Protection Service Against SMS Exploits
      androidsmsaosp
      Java
      •
      Apache License 2.0
      •7•12•0•0•Updated Nov 1, 2024Nov 1, 2024

    • FirmXRay

      Public
      Java
      •
      MIT License
      •9•59•0•0•Updated Oct 25, 2024Oct 25, 2024

    • MOOSE

      Public
      Python
      •0•1•0•0•Updated Oct 12, 2024Oct 12, 2024

    • QtRE

      Public
      A Ghidra headless analyzer tailored for Qt binary analysis
      qtreverse-engineeringbinary-analysisghidra
      Java
      •
      Apache License 2.0
      •7•51•0•0•Updated Oct 7, 2024Oct 7, 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•6•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•74•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
      •8•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•55•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
      •5•17•0•0•Updated Aug 30, 2023Aug 30, 2023

    • PWRLEAK

      Public
      C
      •0•0•0•0•Updated Jul 28, 2023Jul 28, 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•7•0•0•Updated Jun 21, 2023Jun 21, 2023

    • IoTSpotter

      Public
      Code and data release for CCS'2022 paper "Understanding IoT Security from a Market-Scale Perspective"
      Python
      •
      MIT License
      •5•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•59•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•9•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•71•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•8•0•0•Updated Aug 6, 2021Aug 6, 2021

    • MiniCrawler

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

    • DongleScope

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