New-Style 6.006 Problem Sets
Airblue: WiFi implemented in BSV
De-anonymizer for dating networks
Website for IAP course 6.470
MIT 6.470 Hackathon sample grading endpoint: infrastructure and sample problems
Documentation for the MIT 6.470 development VM
Ruby implementation of the Resin data flow assertion framework
FPGA + smartcard trusted storage
Source code for the Trusted Execution Model thesis
Prototype firmware for the Trusted Execution Module (TEM)
Proof of concept for MapReduce on the TEM (Trusted Execution Module) - searching a homogenous database.
Web UI for the proof of concept for MapReduce on the TEM (Trusted Execution Module) - searching a homogenous database.
Maintains TEM proxies for all the physically attached TEMs (Trusted Execution Modules).
Updates the firmware on all TEMs connected to a tem_multi_proxy.
OpenSSL frontend for the Trusted Execution Module
Ruby gem for interfacing with the Trusted Execution Module (TEM)