David Gilhooley gilhooleyd

• Software Engineer at Google

• New York City, NY
• @gilhooligan3

Organizations

Popular repositories Loading

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

   C 8 1

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

   C 2

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

   TeX 1

4. My Unix dotfiles and a helpful Makefile to install them

   Lua 1 1

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

   Java