Framework for automated embedded system rehosting with peripheral support
Framework for automatically creating glitch resistant code for embedded systems
A method, with example code, for automatically protecting physical interfaces on embedded systems.
A ubiquitous authentication framework that removes the need for passwords, pins, and physical keys by leveraging smart phones.
A low-cost, scalable system that creates a wide-area, best-effort, ad-hoc wireless network for disaster relief.
A Turing Machine built by MIT Lincoln Laboratory and the Community Charter School of Cambridge.