Mohit Tiwari
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
31
Venues
14
Active years
2008–2024
Best venue rank
A*
Where they publish
Papers
31 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | ICLR | NeuroBack: Improving CDCL SAT Solving using Graph Neural Networks. | Wenxi Wang, Yang Hu, Mohit Tiwari, Sarfraz Khurshid, Kenneth L. McMillan, Risto Miikkulainen |
| 2022 | DSN | Back to the future: N-Versioning of Microservices. | Antonio M. Espinoza, Riley Wood, Stephanie Forrest, Mohit Tiwari |
| 2022 | IJCAI | Using Constraint Programming and Graph Representation Learning for Generating Interpretable Cloud Security Policies. | Mikhail Kazdagli, Mohit Tiwari, Akshat Kumar |
| 2019 | ASPLOS | Morpheus: A Vulnerability-Tolerant Secure Architecture Based on Ensembles of Moving Target Defenses with Churn. | Mark Gallagher, Lauren Biernacki, Shibo Chen, Zelalem Birhanu Aweke, Salessawi Ferede Yitbarek, Misiker Tadesse Aga, Austin Harris, Zhixing Xu, Baris Kasikci, Valeria Bertacco, Sharad Malik, Mohit Tiwari, Todd M. Austin |
| 2019 | ASPLOS | ρ: Relaxed Hierarchical ORAM. | Chandrasekhar Nagarajan, Ali Shafiee, Rajeev Balasubramonian, Mohit Tiwari |
| 2019 | MICRO | Cyclone: Detecting Contention-Based Cache Information Leaks Through Cyclic Interference. | Austin Harris, Shijia Wei, Prateek Sahu, Pranav Kumar, Todd M. Austin, Mohit Tiwari |
| 2018 | ASPLOS | DATS - Data Containers for Web Applications. | Casen Hunger, Llus Vilanova, Charalampos Papamanthou, Yoav Etsion, Mohit Tiwari |
| 2018 | DATE | Binary Ring-LWE hardware with power side-channel countermeasures. | Aydin Aysu, Michael Orshansky, Mohit Tiwari |
| 2018 | HPCA | Secure DIMM: Moving ORAM Primitives Closer to Memory. | Ali Shafiee, Rajeev Balasubramonian, Mohit Tiwari, Feifei Li |
| 2018 | ICCAD | Vulnerability-tolerant secure architectures. | Todd M. Austin, Valeria Bertacco, Baris Kasikci, Sharad Malik, Mohit Tiwari |
| 2016 | DAC | Invited - Who is the major threat to tomorrow's security?: you, the hardware designer. | Wayne P. Burleson, Onur Mutlu, Mohit Tiwari |
| 2016 | MICRO | Quantifying and improving the efficiency of hardware-based mobile malware detectors. | Mikhail Kazdagli, Vijay Janapa Reddi, Mohit Tiwari |
| 2015 | ASPLOS | GhostRider: A Hardware-Software System for Memory Trace Oblivious Computation. | Chang Liu, Austin Harris, Martin Maas, Michael W. Hicks, Mohit Tiwari, Elaine Shi |
| 2015 | HPCA | Understanding contention-based channels and using them for defense. | Casen Hunger, Mikhail Kazdagli, Ankit Singh Rawat, Alexandros G. Dimakis, Sriram Vishwanath, Mohit Tiwari |
| 2015 | MICRO | Avoiding information leakage in the memory controller with fixed service policies. | Ali Shafiee, Akhila Gundu, Manjunath Shevgoor, Rajeev Balasubramonian, Mohit Tiwari |
| 2014 | ASPLOS | Sapper: a language for hardware-level security policy enforcement. | Xun Li, Vineeth Kashyap, Jason K. Oberg, Mohit Tiwari, Vasanth Ram Rajarathinam, Ryan Kastner, Timothy Sherwood, Ben Hardekopf, Frederic T. Chong |
| 2014 | ISCA | Memory bandwidth reservation in the cloud to avoid information leakage in the memory controller. | Akhila Gundu, Gita Sreekumar, Ali Shafiee, Seth H. Pugsley, Hardik B. Jain, Rajeev Balasubramonian, Mohit Tiwari |
| 2014 | ISCA | Morpheus: benchmarking computational diversity in mobile malware. | Mikhail Kazdagli, Ling Huang, Vijay Janapa Reddi, Mohit Tiwari |
| 2013 | CCS | PHANTOM: practical oblivious computation in a secure processor. | Martin Maas, Eric Love, Emil Stefanov, Mohit Tiwari, Elaine Shi, Krste Asanovic, John Kubiatowicz, Dawn Song |
| 2013 | PLDI | Position paper: Sapper - a language for provable hardware policy enforcement. | Xun Li, Vineeth Kashyap, Jason K. Oberg, Mohit Tiwari, Vasanth Ram Rajarathinam, Ryan Kastner, Timothy Sherwood, Ben Hardekopf, Frederic T. Chong |
| 2011 | DAC | Information flow isolation in I2C and USB. | Jason Oberg, Wei Hu, Ali Irturk, Mohit Tiwari, Timothy Sherwood, Ryan Kastner |
| 2011 | ISCA | Fighting fire with fire: modeling the datacenter-scale effects of targeted superlattice thermal management. | Susmit Biswas, Mohit Tiwari, Timothy Sherwood, Luke Theogarajan, Frederic T. Chong |
| 2011 | ISCA | Crafting a usable microkernel, processor, and I/O system with strict and provable information flow security. | Mohit Tiwari, Jason Oberg, Xun Li, Jonathan Valamehr, Timothy E. Levin, Ben Hardekopf, Ryan Kastner, Frederic T. Chong, Timothy Sherwood |
| 2011 | PLDI | Caisson: a hardware description language for secure information flow. | Xun Li, Mohit Tiwari, Jason Oberg, Vineeth Kashyap, Frederic T. Chong, Timothy Sherwood, Ben Hardekopf |
| 2010 | ACSAC | Hardware assistance for trustworthy systems through 3-D integration. | Jonathan Valamehr, Mohit Tiwari, Timothy Sherwood, Ryan Kastner, Ted Huffmire, Cynthia E. Irvine, Timothy E. Levin |
| 2010 | CASES | Hardware trust implications of 3-D integration. | Ted Huffmire, Timothy E. Levin, Michael Bilzor, Cynthia E. Irvine, Jonathan Valamehr, Mohit Tiwari, Timothy Sherwood, Ryan Kastner |
| 2010 | DAC | Theoretical analysis of gate level information flow tracking. | Jason Oberg, Wei Hu, Ali Irturk, Mohit Tiwari, Timothy Sherwood, Ryan Kastner |
| 2010 | PLDI | Secure information flow analysis for hardware design: using the right abstraction for the job. | Xun Li, Mohit Tiwari, Ben Hardekopf, Timothy Sherwood, Frederic T. Chong |
| 2009 | ASPLOS | Complete information flow tracking from the gates up. | Mohit Tiwari, Hassan M. G. Wassel, Bita Mazloom, Shashidhar Mysore, Frederic T. Chong, Timothy Sherwood |
| 2009 | MICRO | Execution leases: a hardware-supported mechanism for enforcing strong non-interference. | Mohit Tiwari, Xun Li, Hassan M. G. Wassel, Frederic T. Chong, Timothy Sherwood |
| 2008 | MICRO | A small cache of large ranges: Hardware methods for efficiently searching, storing, and updating big dataflow tags. | Mohit Tiwari, Banit Agrawal, Shashidhar Mysore, Jonathan Valamehr, Timothy Sherwood |