Menu:
Peer-Reviewed Conference and Journal
-
[ASPLOS'18]
DATS: Data-centric Mandatory Access Control on 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.
-
[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 48th 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,
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
-
[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), 2011
-
[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
Workshops and Works in Progress
-
[ASAP 10]
Function Flattening for Lease-Based, Information-Leak-Free Systems,
Xun Li, Mohit Tiwari, Timothy Sherwood, and Frederic Chong Poster at the 21st IEEE
International Conference on Application-specific Systems, Architectures and Processors (ASAP), July 2010.
-
[PLAS 10]
Secure Information Flow Analysis for Hardware Design: Using the Right Abstraction for the Job,
Xun Li, Mohit Tiwari, Ben Hardekopf, Timothy Sherwood, and Frederic Chong Proceedings of the Fifth ACM SIGPLAN
Workshop on Programming Languages and Analysis for Security (PLAS), June 2010.
-
[SDR 06]
"MadMAC: Building a Reconfigurable Radio Testbed Using Commodity 802.11 Hardware ",
Ashish Sharma, Mohit Tiwari, Haitao Zheng.
IEEE Workshop on Networking Technologies for Software Defined Radio (SDR) Networks,
2006.