I am an Assistant Professor in ECE at UT Austin, and work on building secure systems using both hardware
and software mechanisms.
Before joining UT, I received my PhD UC Santa Barbara in 2011 advised by
Tim Sherwood, and then worked with
Krste Asanovic and
Dawn Song as a post-doc at UC Berkeley.
I am interested in building secure and reliable systems. To this end,
my research cuts across program analysis [glift,
hardgrind], computer architecture [oblivious-cpu,
leases, rangecache, 3dsec], and system software
My current work includes a new secure processor that obfuscates all digital signals coming out of the CPU chip -- even the addresses to physical memory [oblivious-cpu]. Such a processor can be used to execute confidential programs even when the adversary has physical access to the processor (e.g., in datacenters).
I am also working on building a system where users control their data even when they use untrusted applications, while developers use a security-agnostic design pattern to write privacy-preserving apps [private-data]. In contrast, existing app-frameworks either allow developers full access to user data (like Android) or mire users and developers in a maze of security labels and exceptions.
My graduate work presented GLIFT and associated architectural techniques to build verifiably information-flow secure systems. For formal proof of soundness and non-interference of GLIFT and its extension to a general lattice of security labels, please see my dissertation.
I also collaborate with research colleagues on languages for designing secure hardware [sapper, caisson], and on synthesizing secure-hardware designs efficiently onto FPGAs [glift-synth]. For more information on my past and current research, please refer to my research page.
- Google Faculty Research Award, 2013-14.
- Top 10 shortlist for NYU-Poly Best Applied Security Paper Award, 2013.
- Computing Innovation Fellow , Jointly with Prof. Krste Asanovic and Dawn Song, UC Berkeley, 2011-13.
- 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.
- [ASPLOS'15] GhostRider: A Hardware-Software System for Memory Trace Oblivious Computation, Chang Liu, Austin Harris, Martin Maas, Michael Hicks, Mohit Tiwari, Elaine Shi, in Proceedings of the 15th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), March 2015, Istanbul, Turkey.
- [HPCA'15] Understanding Contention-driven Covert Channels and Using Them for Defense, Casen Hunger, Mikhail Kazdagli, Ankit Rawat, Alex Dimakis, Sriram Vishwanath, Mohit Tiwari, in Proceedings of the International Symposium on High Performance Computer Architecture (HPCA), February 2015.
- [ASPLOS'14] Sapper: A Language for Hardware-Level Security Policy Enforcement, Xun Li, Vineeth Kashyap, Jason Oberg, Mohit Tiwari, Vasanth Rajarathinam, Ryan Kastner, Timothy Sherwood, Ben Hardekopf, and Frederic Chong, in Proceedings of the 14th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), March 2014, Salt Lake City, UT.
- [CCS'13] PHANTOM: Practical Oblivious Computation in a Secure Processor, Martin Maas, Eric Love, Emil Stefanov, Mohit Tiwari, Elaine Shi, Krste Asanović, John Kubiatowicz, Dawn Song, in Proceedings of the ACM Conference on Computer and Communications Security (CCS), November 2013, Berlin, Germany Shortlisted (top 10) for NYU-Poly Best Applied Security Paper Award 2013
- [HotSec'12] Context-centric Security Mohit Tiwari, Prashanth Mohan, Andrew Osheroff, Hilfi Alkaff, Elaine Shi, Eric Love, Dawn Song, Krste Asanovic. in Proceedings of the 7th USENIX Workshop on Hot Topics in Security (HotSec), August 2012. Bellevue, WA
- [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