A model checker for implementing distributed systems.

Next-generation datacenter OS built on kernel bypass to speed up unmodified code while improving platform density and security

A Rust port of FlameGraph

Kernel-Bypass LibOS Architecture

This repository contains a symbolic executor with capabilities of detecting common vulnerabilities in x86 binaries

examples of using OpenSSL

Master programming by recreating your favorite technologies from scratch.

Public Repo for Software Security Course@IST

A list of system papers using/about Intel SGX

A "Hello World" Intel SGX enclave program

Frontend for HospitalRun