Skip to content
@OSUSecLab

Computer Security Laboratory @ OSU

Popular repositories Loading

  1. TaintMini TaintMini Public

    Detecting Flow of Sensitive Data in Mini-Programs with Static Taint Analysis

    Python 74 11

  2. SgxPectre SgxPectre Public

    Python 73 12

  3. SelectiveTaint SelectiveTaint Public

    C++ 72 4

  4. FirmXRay FirmXRay Public

    Java 62 9

  5. TxSpector TxSpector Public

    Go 59 15

  6. SymLM SymLM Public

    Implementation of CCS'2022 paper "SymLM: Predicting Function Names in Stripped Binaries via Context-Sensitive Execution-Aware Code Embeddings"

    Python 57 5

Repositories

Showing 10 of 39 repositories
  • AnonymizationLayer Public
    OSUSecLab/AnonymizationLayer’s past year of commit activity
    C 0 0 0 0 Updated Feb 26, 2025
  • BaseMirror Public
    OSUSecLab/BaseMirror’s past year of commit activity
    Java 14 Apache-2.0 6 0 0 Updated Feb 4, 2025
  • SymGen Public

    Implementation of "Beyond Classification: Inferring Function Names in Stripped Binaries via Domain Adapted LLMs" (NDSS'25)

    OSUSecLab/SymGen’s past year of commit activity
    Python 11 0 0 0 Updated Dec 5, 2024
  • ProxyEx Public
    OSUSecLab/ProxyEx’s past year of commit activity
    HTML 2 0 0 0 Updated Nov 30, 2024
  • RILDefender Public

    RILDefender: An Android Mobile Privacy Protection Service Against SMS Exploits

    OSUSecLab/RILDefender’s past year of commit activity
    Java 12 Apache-2.0 8 0 0 Updated Nov 1, 2024
  • FirmXRay Public
    OSUSecLab/FirmXRay’s past year of commit activity
    Java 62 MIT 9 0 0 Updated Oct 25, 2024
  • MOOSE Public
    OSUSecLab/MOOSE’s past year of commit activity
    Python 1 0 0 0 Updated Oct 12, 2024
  • QtRE Public

    A Ghidra headless analyzer tailored for Qt binary analysis

    OSUSecLab/QtRE’s past year of commit activity
    Java 57 Apache-2.0 7 0 0 Updated Oct 7, 2024
  • bluetooth-pairing-formal-verification Public

    Tamarin models for Bluetooth secure pairing protocols: Passkey Entry (PE) and Numeric comparison (NC)

    OSUSecLab/bluetooth-pairing-formal-verification’s past year of commit activity
    Python 6 MIT 0 0 0 Updated May 3, 2024
  • BLEScope Public
    OSUSecLab/BLEScope’s past year of commit activity
    Java 0 0 0 0 Updated Apr 13, 2024
View all repositories

Top languages

Loading…

Most used topics

Loading…