Skip to content
@securesystemslab

Secure Systems Lab

Popular repositories Loading

  1. zippy zippy Public

    ZipPy is a Python3 interpreter on top of Truffle framework

    Python 299 22

  2. multicompiler multicompiler Public

    LLVM-based compiler to create artificial software diversity to protect software from code-reuse attacks.

    C++ 133 32

  3. agamotto agamotto Public

    Agamotto: Accelerating Kernel Driver Fuzzing with Lightweight Virtual Machine Checkpoints

    C 125 29

  4. periscope periscope Public

    C 64 13

  5. BinRec BinRec Public

    32 2

  6. sanitizing-for-security-benchmarks sanitizing-for-security-benchmarks Public

    Python 24 5

Repositories

Showing 10 of 52 repositories
  • LLVM-MCA-Daemon Public
    C++ 15 12 0 1 Updated Mar 13, 2025
  • llvm-project Public

    Public fork of https://github.com/llvm/llvm-project

    2 5 0 0 Updated Nov 4, 2024
  • BinRec Public
    32 2 0 0 Updated Nov 29, 2022
  • pkru-safe-servo Public
    HTML 0 MPL-2.0 2 0 1 Updated Nov 1, 2022
  • pkru-safe-mozjs Public
    JavaScript 0 2 0 1 Updated Oct 30, 2022
  • ia2-provsan Public

    Stand Alone Provenance Tracking Runtime and Compiler Passes

    C++ 1 MIT 1 0 0 Updated May 18, 2022
  • PKRU-Safe Public
    19 MIT 4 1 0 Updated Mar 10, 2022
  • pkru-safe-automation Public

    Automation scripts and Dockerfiles

    Shell 0 1 0 0 Updated Mar 10, 2022
  • pkru-safe-bench Public

    PKRU-Safe Micro-benchmarks

    Rust 0 Apache-2.0 1 0 0 Updated Jan 31, 2022
  • pkru-safe-pkalloc Public
    Rust 0 1 0 0 Updated Jan 31, 2022
View all repositories