This page provides brief descriptions of current and past research projects with a list of representative publications. A complete list of publications can be found here.
- Verifiably Secure Hardware and Its Applications to Secure Autonomous Driving
- Automated Cross-Layer Customization
- Past Projects
- Past work at MIT
Our research has been supported by many government and industry sponsors, including the National Science Foundation (NSF), the Air Force Office of Scientific Research (AFOSR), the Office of Naval Research (ONR), the Army Research Office (ARO), the Air Force Research Laboratory (AFRL), the National Aeronautics and Space Administration (NASA), and the Defense Advanced Research Projects Agency (DARPA), SRC, Intel, Xilinx, and SUN (now Oracle).