Skip to content

@securesystemslab Secure Systems Lab

Change the repository type filter

All

    Repositories list

    52 repositories

    • LLVM-MCA-Daemon

      Public
      C++
      •
      Other
      •11•11•3•0•Updated Nov 1, 2024Nov 1, 2024

    • llvm-project

      Public
      Public fork of https://github.com/llvm/llvm-project
      4•1•0•0•Updated Oct 29, 2024Oct 29, 2024

    • BinRec

      Public
      2•32•0•0•Updated Nov 29, 2022Nov 29, 2022

    • pkru-safe-servo

      Public
      HTML
      •
      Mozilla Public License 2.0
      •2•0•0•1•Updated Nov 1, 2022Nov 1, 2022

    • pkru-safe-mozjs

      Public
      JavaScript
      •2•0•0•1•Updated Oct 30, 2022Oct 30, 2022

    • ia2-provsan

      Public
      Stand Alone Provenance Tracking Runtime and Compiler Passes
      C++
      •
      MIT License
      •1•0•0•0•Updated May 18, 2022May 18, 2022

    • PKRU-Safe

      Public
      MIT License
      •4•18•1•0•Updated Mar 10, 2022Mar 10, 2022

    • pkru-safe-automation

      Public
      Automation scripts and Dockerfiles
      Shell
      •1•0•0•0•Updated Mar 10, 2022Mar 10, 2022

    • pkru-safe-bench

      Public
      PKRU-Safe Micro-benchmarks
      Rust
      •
      Apache License 2.0
      •1•0•0•0•Updated Jan 31, 2022Jan 31, 2022

    • pkru-safe-pkalloc

      Public
      Rust
      •1•0•0•0•Updated Jan 31, 2022Jan 31, 2022

    • pkru-safe-cve-html

      Public
      CVE vulnerability mentioned in PKRU-Safe.
      JavaScript
      •1•0•0•0•Updated Jan 29, 2022Jan 29, 2022

    • pkru-safe-example

      Public
      Simple example program for PKRU-Safe
      Rust
      •1•0•0•0•Updated Jan 28, 2022Jan 28, 2022

    • pkru-safe-allocator-helper

      Public
      C++
      •1•0•0•0•Updated Jan 28, 2022Jan 28, 2022

    • pkru-safe-jemalloc

      Public
      C
      •
      Other
      •1•0•0•0•Updated Jan 28, 2022Jan 28, 2022

    • pkru-safe-mpk-libc

      Public
      Rust Intel MPK library
      Rust
      •1•1•0•0•Updated Jan 28, 2022Jan 28, 2022

    • pkru-safe-JetStream2

      Public
      JavaScript
      •1•0•0•0•Updated Jan 28, 2022Jan 28, 2022

    • pkru-safe-kraken

      Public
      JavaScript
      •1•0•0•0•Updated Jan 28, 2022Jan 28, 2022

    • pkru-safe-octane2

      Public
      JavaScript
      •
      BSD 3-Clause "New" or "Revised" License
      •1•0•0•0•Updated Jan 28, 2022Jan 28, 2022

    • pkru-safe-cargo

      Public
      Rust
      •
      Apache License 2.0
      •1•2•0•0•Updated Jan 28, 2022Jan 28, 2022

    • pkru-safe-pkmallocator

      Public
      Rust Global Allocator compatible with Intel MPK
      Rust
      •1•0•0•0•Updated Jan 28, 2022Jan 28, 2022

    • pkru-safe-mpk-protector

      Public
      A compiler plugin to wrap FFI modules for use with Intel MPK
      Rust
      •1•0•0•0•Updated Jan 28, 2022Jan 28, 2022

    • pkru-safe-rust-mozjs

      Public
      Rust
      •
      Mozilla Public License 2.0
      •1•0•0•0•Updated Jan 28, 2022Jan 28, 2022

    • rust

      Public
      A safe, concurrent, practical language.
      Rust
      •
      Other
      •13k•0•0•0•Updated Jan 27, 2022Jan 27, 2022

    • stackbert

      Public
      Jupyter Notebook
      •3•6•0•0•Updated Nov 10, 2021Nov 10, 2021

    • NetPlier

      Public
      NetPlier: Probabilistic Network Protocol Reverse Engineering from Message Traces
      Python
      •
      GNU General Public License v3.0
      •21•1•0•0•Updated May 25, 2021May 25, 2021

    • agamotto

      Public
      Agamotto: Accelerating Kernel Driver Fuzzing with Lightweight Virtual Machine Checkpoints
      C
      •29•118•1•0•Updated Jun 18, 2020Jun 18, 2020

    • mcsema

      Public
      Framework for lifting x86, amd64, and aarch64 program binaries to LLVM bitcode
      Python
      •
      Apache License 2.0
      •344•0•0•1•Updated Jun 3, 2020Jun 3, 2020

    • hypervisor

      Public
      A clone of the Barflank Hypervisor for use with the SSL Lab Multicompiler
      C++
      •
      MIT License
      •207•0•1•0•Updated Mar 3, 2020Mar 3, 2020

    • hypervisor-super

      Public
      A Super Project to Simplify Building the Multicompiler
      CMake
      •4•3•1•1•Updated Mar 2, 2020Mar 2, 2020

    • multicompiler-automation

      Public
      toplevel project for automating multicompiler CI with Jenkins
      Shell
      •
      MIT License
      •4•4•0•0•Updated Feb 23, 2020Feb 23, 2020