@csail

MIT Computer Science and AI Lab

  • Airblue: WiFi implemented in BSV

    C++ 2 Updated Dec 3, 2014
  • De-anonymizer for dating networks

    TeX Updated Mar 23, 2014
  • Ruby implementation of the Resin data flow assertion framework

    Ruby 1 MIT Updated Sep 24, 2013
  • Source code for the Trusted Execution Model thesis

    Ruby Updated Apr 29, 2013
  • The 6.470 staff blog

    Ruby Updated Feb 9, 2013
  • Website for IAP course 6.470

    JavaScript 5 1 Updated Feb 2, 2013
  • JavaScript Updated Dec 18, 2012
  • Documentation for the MIT 6.470 development VM

    MIT Updated Dec 5, 2012
  • MIT 6.470 Hackathon sample grading endpoint: infrastructure and sample problems

    Ruby MIT Updated Nov 21, 2012
  • New-Style 6.006 Problem Sets

    Python 2 2 MIT Updated Jan 21, 2012
  • FPGA + smartcard trusted storage

    Ruby 1 MIT Updated Jan 10, 2012
  • Ruby 3 MIT Updated Mar 15, 2011
  • Ruby gem for interfacing with the Trusted Execution Module (TEM)

    Ruby 1 MIT Updated Dec 7, 2009
  • Web UI for the proof of concept for MapReduce on the TEM (Trusted Execution Module) - searching a homogenous database.

    Ruby 1 Updated Nov 19, 2009
  • Proof of concept for MapReduce on the TEM (Trusted Execution Module) - searching a homogenous database.

    Ruby 1 MIT Updated Nov 19, 2009
  • Prototype firmware for the Trusted Execution Module (TEM)

    Java 1 1 MIT Updated Nov 19, 2009
  • Updates the firmware on all TEMs connected to a tem_multi_proxy.

    Ruby 1 MIT Updated Nov 18, 2009
  • Maintains TEM proxies for all the physically attached TEMs (Trusted Execution Modules).

    Ruby 1 MIT Updated Nov 10, 2009
  • OpenSSL frontend for the Trusted Execution Module

    Ruby 1 MIT Updated May 31, 2009