Skip to content
@OSUSecLab

Computer Security Laboratory @ OSU

Popular repositories Loading

  1. SelectiveTaint SelectiveTaint Public

    C++ 75 4

  2. TaintMini TaintMini Public

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

    Python 74 11

  3. SgxPectre SgxPectre Public

    Python 73 12

  4. TxSpector TxSpector Public

    Go 62 15

  5. FirmXRay FirmXRay Public

    Java 62 9

  6. QtRE QtRE Public

    A Ghidra headless analyzer tailored for Qt binary analysis

    Java 62 7

Repositories

Showing 10 of 40 repositories
  • TensorCrypt Public

    Implementation for NDSS'2025 paper: "TensorCrypt: Repurposing Neural Networks for Efficient Cryptographic Computation"

    OSUSecLab/TensorCrypt’s past year of commit activity
    Python 0 0 0 0 Updated Apr 12, 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 16 0 0 0 Updated Mar 10, 2025
  • 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 16 Apache-2.0 6 0 0 Updated Feb 4, 2025
  • 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 7 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 62 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 7 MIT 0 0 0 Updated May 3, 2024
View all repositories

Top languages

Loading…

Most used topics

Loading…