Popular repositories Loading

1. CBMC-Vboot CBMC-Vboot Public

   This repo investigates Chrome's Verified Boot (Vboot) through C Bounded Model Checker (CBMC) and the use of the Software TPM library

   C 6 1

2. PIOUS PIOUS Public

   An Operating System framework for the Rbpi2 and Qemu x86 emulation.

   C 2

3. Verified-Boot-Senior-Thesis Verified-Boot-Senior-Thesis Public

   My senior thesis: Verified/Secure Boot: Formal Verification Checking of Firmware and Hardware in a large SoC

   TeX 1

4. Dotfiles Dotfiles Public

   My Unix dotfiles and a helpful Makefile to install them

   Vim Script 1 1

5. spacejam spacejam Public

   A multi-player, astroid-esque game that allows players to program their ship AI in java.

   Java

6. openmrs-core openmrs-core Public

   Forked from openmrs/openmrs-core

   OpenMRS API and web application code

   Java