I am an Associate Professor in ECE at UT Austin, and work on computer architecture and
and system security in the Spark Lab.
Research
My current work aims to
build a system stack where users control their data even when they use untrusted applications
on untrusted datacenters.
This work rests on a new secure processor that
helps software to defend itself against attacks through the hardware, and
obfuscates all digital signals coming out of the CPU chip. The hardware
thus enables software-defined containers against a variety of threat models.
The system uses containers to confine data, instead of application services. We demonstrate
that data containers remove large web-applications out of the trusted code-base, and yet lets developers
use a security-agnostic design pattern to write privacy-preserving web-applications.
My graduate work was on building verifiably information-flow secure embedded systems.
For a formal proof of soundness and non-interference of gate-level information flow tracking, and its extension
to a general lattice of security labels, please see my dissertation.
Awards
- Qualcomm Faculty Award, 2018
- Finalist, CSAW18 Applied Research Competition, 2018
- Best Paper Award nominee, Intl. Conf. on Hardware-Oriented Security and Trust (HOST), 2018
- Qualcomm Faculty Award, 2017
- AMD Chair,Department of ECE, UT Austin, 2017-18
- Best Paper Award, Intl. Conf. on Architectural Support for Prog. Languages and Operating Systems (ASPLOS), 2015
- NSF CAREER Award, January 2015
- IEEE Micro Top Pick Honorable Mention, January-February 2015.
- 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.
Selected Publications
- [ASPLOS'18] DATS: Data Containers for Web Applications. Lluis Vilanova*, Casen Hunger*, Charalampos Papamanthou, Yoav Etsion, Mohit Tiwari, in Proceedings of Architectural Support for Programming Languages and Operating Systems, (ASPLOS), March 2018, Williamsburg, VA.
- [HOST'18] Horizontal Side-Channel Vulnerabilities of Post-Quantum Key Exchange Protocols. in Proceedings of Hardware Oriented Security and Trust (HOST), May 2018, Washington D.C.
- [PETS'18 CSAW Best Applied Security Paper, Finalist _Power to peep-all: Inference Attacks by Malicious Batteries on Mobile Devices Pavel Lifshits, Roni Forte, Yedid Hoshen, Matthew Halpern, Manuel Philipose, Mohit Tiwari, Mark Silberstein in Journal of Privacy Enhancing Technologies Symposium
- [DATE'18] Binary Ring-LWE Hardware with Power Side-channel Countermeasures. Aydin Aysu, Andreas Gerstlauer, Michael Orshansky, Mohit Tiwari, in Proceedings of Design Automation and Test in Europe (DATE), March 2018, Dresden, Germany.
- [HPCA'18] Secure DIMM: Moving ORAM Primitives Closer to Memory. Ali Shafiee, Rajeev Balasubramonian, Mohit Tiwari, Feifei Li, in Proceedings of High Performance Computer Architecture (HPCA), February 2018, Vienna, Austria.
- [MICRO'16] Quantifying and Improving the Efficiency of Hardware-based Mobile Malware Detectors. Mikhail Kazdagli, Vijay Janapa Reddi, Mohit Tiwari, in Proceedings of the 49th International Symposium on Microarchitecture (MICRO), October 2016, Taipei, Taiwan.
- [USENIX'16] Secure, Precise, and Fast Floating-Point Operations on x86 Processors. Ashay Rane, Calvin Lin, Mohit Tiwari, in Proceedings of the 25th Usenix Security Symposium (USENIX), August 2016, Austin, TX.
- [MICRO'15] Avoiding Information Leakage in the Memory Controller with Fixed Service Policies.. Ali Shafiee, Akhila Gundu, Manjunath Shevgoor, Rajeev Balasubramonian, Mohit Tiwari in Proceedings of the 49th International Symposium on Microarchitecture (MICRO), December 2015, Waikiki, Hawaii..
- [USENIX'15] Raccoon: Closing Digital Side-Channels through Obfuscated Execution, Ashay Rane, Calvin Lin, Mohit Tiwari, in Proceedings of the 24th USENIX Security Symposium, August 2015, Washington DC.
- [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. Best Paper Award
- [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. Honorable Mention, IEEE Micro Top Picks
- [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