Secure Systems Lab's repositories
multicompiler-automation
toplevel project for automating multicompiler CI with Jenkins
hypervisor-super
A Super Project to Simplify Building the Multicompiler
llvm-project
Public fork of https://github.com/llvm/llvm-project
pkru-safe-mpk-libc
Rust Intel MPK library
hypervisor
A clone of the Barflank Hypervisor for use with the SSL Lab Multicompiler
ia2-provsan
Stand Alone Provenance Tracking Runtime and Compiler Passes
Language:C++MIT000
pkru-safe-automation
Automation scripts and Dockerfiles
pkru-safe-bench
PKRU-Safe Micro-benchmarks
Language:RustApache-2.0000
pkru-safe-cve-html
CVE vulnerability mentioned in PKRU-Safe.
pkru-safe-example
Simple example program for PKRU-Safe
Language:JavaScript000
Language:JavaScript000
pkru-safe-mpk-protector
A compiler plugin to wrap FFI modules for use with Intel MPK
pkru-safe-pkmallocator
Rust Global Allocator compatible with Intel MPK
Language:RustMPL-2.0000
Language:HTMLMPL-2.0000