Secure Systems Lab (securesystemslab)

Secure Systems Lab

securesystemslab

Geek Repo

Location:University of California, Irvine

Home Page:https://ssllab.org/

Github PK Tool:Github PK Tool

Secure Systems Lab's repositories

agamotto

Agamotto: Accelerating Kernel Driver Fuzzing with Lightweight Virtual Machine Checkpoints

Language:C++License:NOASSERTIONStargazers:11Issues:16Issues:1
Language:Jupyter NotebookStargazers:6Issues:0Issues:0

multicompiler-automation

toplevel project for automating multicompiler CI with Jenkins

Language:ShellLicense:MITStargazers:4Issues:3Issues:0

hypervisor-super

A Super Project to Simplify Building the Multicompiler

Language:RustLicense:Apache-2.0Stargazers:2Issues:0Issues:0

llvm-project

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

NetPlier

NetPlier: Probabilistic Network Protocol Reverse Engineering from Message Traces

Language:PythonLicense:GPL-3.0Stargazers:1Issues:2Issues:0

pkru-safe-mpk-libc

Rust Intel MPK library

Language:RustStargazers:1Issues:10Issues:0

hypervisor

A clone of the Barflank Hypervisor for use with the SSL Lab Multicompiler

Language:C++License:MITStargazers:0Issues:3Issues:1

ia2-provsan

Stand Alone Provenance Tracking Runtime and Compiler Passes

Language:C++License:MITStargazers:0Issues:0Issues:0

mcsema

Framework for lifting x86, amd64, and aarch64 program binaries to LLVM bitcode

Language:PythonLicense:Apache-2.0Stargazers:0Issues:2Issues:0
Language:C++Stargazers:0Issues:10Issues:0

pkru-safe-automation

Automation scripts and Dockerfiles

Language:ShellStargazers:0Issues:10Issues:0

pkru-safe-bench

PKRU-Safe Micro-benchmarks

Language:RustLicense:Apache-2.0Stargazers:0Issues:0Issues:0

pkru-safe-cve-html

CVE vulnerability mentioned in PKRU-Safe.

Language:JavaScriptStargazers:0Issues:10Issues:0

pkru-safe-example

Simple example program for PKRU-Safe

Language:RustStargazers:0Issues:10Issues:0
Language:CLicense:NOASSERTIONStargazers:0Issues:10Issues:0
Language:JavaScriptStargazers:0Issues:0Issues:0
Language:JavaScriptStargazers:0Issues:10Issues:0
Language:JavaScriptStargazers:0Issues:0Issues:0

pkru-safe-mpk-protector

A compiler plugin to wrap FFI modules for use with Intel MPK

Language:RustStargazers:0Issues:10Issues:0
Language:JavaScriptLicense:BSD-3-ClauseStargazers:0Issues:10Issues:0
Language:RustStargazers:0Issues:10Issues:0

pkru-safe-pkmallocator

Rust Global Allocator compatible with Intel MPK

Language:RustStargazers:0Issues:10Issues:0
Language:RustLicense:MPL-2.0Stargazers:0Issues:0Issues:0
Language:HTMLLicense:MPL-2.0Stargazers:0Issues:0Issues:0

rust

A safe, concurrent, practical language.

Language:RustLicense:NOASSERTIONStargazers:0Issues:14Issues:0