Stars
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
This repository contains a symbolic executor with capabilities of detecting common vulnerabilities in x86 binaries
Master programming by recreating your favorite technologies from scratch.
Public Repo for Software Security Course@IST
A "Hello World" Intel SGX enclave program
Frontend for HospitalRun