Skip to content

@csail MIT Computer Science and AI Lab

Change the repository type filter

All

    Repositories list

    20 repositories

    • ipri-scram

      Public
      C++
      •3•4•0•0•Updated Aug 2, 2020Aug 2, 2020

    • airblue

      Public
      Airblue: WiFi implemented in BSV
      C++
      •2•3•0•0•Updated Dec 3, 2014Dec 3, 2014

    • hibaby

      Public
      De-anonymizer for dating networks
      TeX
      •1•1•0•0•Updated Mar 23, 2014Mar 23, 2014

    • police

      Public
      Ruby implementation of the Resin data flow assertion framework
      Ruby
      •
      MIT License
      •3•2•0•0•Updated Sep 24, 2013Sep 24, 2013

    • tem-thesis

      Public
      Source code for the Trusted Execution Model thesis
      Ruby
      •1•1•0•0•Updated Apr 29, 2013Apr 29, 2013

    • mit6470-blog

      Public
      The 6.470 staff blog
      Ruby
      •1•1•0•0•Updated Feb 9, 2013Feb 9, 2013

    • mit6470

      Public
      Website for IAP course 6.470
      JavaScript
      •3•5•0•0•Updated Feb 2, 2013Feb 2, 2013

    • mit6470-hackathon

      Public
      JavaScript
      •1•1•0•0•Updated Dec 18, 2012Dec 18, 2012

    • mit6470-vm

      Public
      Documentation for the MIT 6.470 development VM
      MIT License
      •1•1•0•0•Updated Dec 5, 2012Dec 5, 2012

    • mit6470-grader-sample

      Public
      MIT 6.470 Hackathon sample grading endpoint: infrastructure and sample problems
      Ruby
      •
      MIT License
      •1•1•0•0•Updated Nov 21, 2012Nov 21, 2012

    • 6006psets_ng

      Public
      New-Style 6.006 Problem Sets
      Python
      •
      MIT License
      •3•3•0•2•Updated Jan 21, 2012Jan 21, 2012

    • sp_store

      Public
      FPGA + smartcard trusted storage
      Ruby
      •
      MIT License
      •2•1•0•0•Updated Jan 10, 2012Jan 10, 2012

    • scratchpad

      Public
      Ruby
      •
      MIT License
      •2•3•0•0•Updated Mar 15, 2011Mar 15, 2011

    • tem_ruby

      Public
      Ruby gem for interfacing with the Trusted Execution Module (TEM)
      Ruby
      •
      MIT License
      •1•1•0•0•Updated Dec 7, 2009Dec 7, 2009

    • tem_mr_search_web

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

    • tem_mr_search

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

    • tem_fw

      Public
      Prototype firmware for the Trusted Execution Module (TEM)
      Java
      •
      MIT License
      •4•1•0•0•Updated Nov 19, 2009Nov 19, 2009

    • tem_multi_updater

      Public
      Updates the firmware on all TEMs connected to a tem_multi_proxy.
      Ruby
      •
      MIT License
      •1•1•0•0•Updated Nov 18, 2009Nov 18, 2009

    • tem_multi_proxy

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

    • tem_openssl

      Public
      OpenSSL frontend for the Trusted Execution Module
      Ruby
      •
      MIT License
      •1•1•0•0•Updated May 31, 2009May 31, 2009