I'm a post-doc in the EECS department at UC Berkeley, working with Professor Krste Asanovic and Professor Dawn Song. I completed my MS and PhD (Summer 2011) in Computer Science from UC Santa Barbara, working on architectures for securing high assurance systems with Professor Tim Sherwood. Before joining ArchLab at UCSB, I did my B.Tech in Computer Science and Engineering at IIT Guwahati (2005).
Research
I am interested in building secure and reliable systems. To this end,
my research cuts across program analysis [glift,
hardgrind], computer architecture [leases, rangecache, 3dsec], and system software [glift-sys].
I also collaborate with research colleagues on languages for designing
secure hardware [caisson], and on
synthesizing hardware designs efficiently onto FPGAs [glift-synth]. For more information on my
past and current research, please refer to my research page.
Awards
- Computing Innovation Fellow , Jointly with Prof. Krste Asanovic and Dawn Song, UC Berkeley, 2011-12.
- Outstanding Dissertation Award , Department of Computer Science, UC Santa Barbara, 2011.
- IEEE Micro Top Pick from Computer Architecture Conferences, January-February 2010.
- Best Paper Award Parallel Architecture and Compiler Techniques (PACT), September 2009
- Outstanding Teaching Assistant, Department of Computer Science, UC Santa Barbara, Winter 2006.
Selected Publications
- [ISCA 11] Crafting a Usable Microkernel, Processor, and I/O System with Strict and Provable Information Flow Security Mohit Tiwari, Jason Oberg, Xun Li, Jonathan K Valamehr, Timothy Levin, Ben Hardekopf, Ryan Kastner, Frederic T Chong, and Timothy Sherwood. in Proceedings of the International Symposium of Computer Architecture (ISCA), June 2011. San Jose, CA
- [ISCA 11] Fighting Fire with Fire: Modeling the Data Center Scale Effects of Targeted Superlattice Thermal Management Susmit Biswas, Mohit Tiwari, Luke Theogarajan, Timothy Sherwood, and Frederic T Chong. in Proceedings of the International Symposium of Computer Architecture (ISCA), June 2011. San Jose, CA
- [TCAD 11] Theoretical Fundamentals of Gate Level Information Flow Tracking Wei Hu, Jason Oberg, Ali Irturk, Mohit Tiwari, Timothy Sherwood, and Ryan Kastner, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, in press.
- [DAC 11] Information Flow Isolation in I2C and USB Jason Oberg, Wei Hu, Ali Irturk, Mohit Tiwari, Timothy Sherwood and Ryan Kastner, Proceedings of the 47th Design Automation Conference (DAC), June 2011, San Diego, CA.
- [PLDI 11] Caisson: A Hardware Description Language for Secure Information Flow Xun Li, Mohit Tiwari, Jason Oberg, Vineeth Kashyap, Frederic T Chong, Timothy Sherwood, and Ben Hardekopf, Proceedings of the ACM Conference on Programming Language Design and Implementation(PLDI), June 2011, San Jose, CA
- [ACSAC 10] Hardware Assistance for Trustworthy Systems through 3-D Integration Jonathan Valamehr, Mohit Tiwari, Timothy Sherwood, Ryan Kastner, Ted Huffmire, Cynthia Irvine and Timothy Levin Proceedings of the Annual Computer Security Applications Conference (ACSAC), December 2010.
- [DAC 10] Theoretical Analysis of Gate Level Information Flow Tracking Jason Oberg, Wei Hu, Ali Irturk, Mohit Tiwari, Timothy Sherwood and Ryan Kastner, Proceedings of the 47th Design Automation Conference (DAC), June 2010.
- [Micro Top Pick 10] Tracking Information Flow at the Gate-Level for Secure Architectures, Mohit Tiwari, Xun Li, Hassan Wassel, Bita Mazloom, Shashidhar Mysore, Frederic Chong, and Timothy Sherwood. IEEE Micro Top Picks from Computer Architecture Conferences, January-February 2010.
- [MICRO 09] Execution Leases: A Hardware-Supported Mechanism for Enforcing Strong Non-Interference Mohit Tiwari, Xun Li, Hassan M G Wassel, Frederic T Chong, Timothy Sherwood Proceedings of the International Symposium on Microarchitecture (MICRO), December 2009, New York, NY
- [PACT 09] Quantifying the Potential for Program Analysis Peripherals Mohit Tiwari, Shashidhar Mysore, Timothy Sherwood Parallel Architecture and Compiler Techniques (PACT), September 2009, Raleigh, NC (Best Paper Award)
- [ASPLOS 09] Complete Information Flow Tracking from the Gates Up Mohit Tiwari, Hassan Wassel, Bita Mazloom, Shashidhar Mysore, Frederic Chong, and Timothy Sherwood. Proceedings of the 14th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), March 2009. Washington, DC
- [MICRO 08] A Small Cache of Large Ranges: Hardware Methods for Efficiently Searching, Storing, and Updating Big Dataflow Tags, Mohit Tiwari, Banit Agrawal, Shashidhar Mysore, Jonathan K Valamehr, and Timothy Sherwood. Proceedings of the International Symposium on Microarchitecture (MICRO), November 2008. Lake Como, Italy