Master programming by recreating your favorite technologies from scratch.

Frontend for HospitalRun

A Rust port of FlameGraph

A model checker for implementing distributed systems.

Kernel-Bypass LibOS Architecture

A list of system papers using/about Intel SGX

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

examples of using OpenSSL

A "Hello World" Intel SGX enclave program

Public Repo for Software Security Course@IST

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