Search results for "Mohit Tiwari"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Bita Mazloom, Shashidhar Mysore, Mohit Tiwari, Banit Agrawal, Timothy Sherwood	Dataflow Tomography: Information Flow Tracking For Understanding and Visualizing Full Systems.	TACO	2012	DBLP DOI BibTeX RDF
1	Wei Hu, Jason Oberg, Ali Irturk, Mohit Tiwari, Timothy Sherwood, Dejun Mu, Ryan Kastner	On the Complexity of Generating Gate Level Information Flow Tracking Logic.	IEEE Transactions on Information Forensics and Security	2012	DBLP DOI BibTeX RDF
1	Wei Hu, Jason Oberg, Ali Irturk, Mohit Tiwari, Timothy Sherwood, Dejun Mu, Ryan Kastner	Theoretical Fundamentals of Gate Level Information Flow Tracking.	IEEE Trans. on CAD of Integrated Circuits and Systems	2011	DBLP DOI BibTeX RDF
1	Xun Li 0001, Mohit Tiwari, Jason Oberg, Vineeth Kashyap, Frederic T. Chong, Timothy Sherwood, Ben Hardekopf	Caisson: a hardware description language for secure information flow.	PLDI	2011	DBLP DOI BibTeX RDF
1	Mohit Tiwari, Jason Oberg, Xun Li 0001, Jonathan Valamehr, Timothy E. Levin, Ben Hardekopf, Ryan Kastner, Frederic T. Chong, Timothy Sherwood	Crafting a usable microkernel, processor, and I/O system with strict and provable information flow security.	ISCA	2011	DBLP DOI BibTeX RDF
1	Susmit Biswas, Mohit Tiwari, Timothy Sherwood, Luke Theogarajan, Frederic T. Chong	Fighting fire with fire: modeling the datacenter-scale effects of targeted superlattice thermal management.	ISCA	2011	DBLP DOI BibTeX RDF
1	Jason Oberg, Wei Hu, Ali Irturk, Mohit Tiwari, Timothy Sherwood, Ryan Kastner	Information flow isolation in I2C and USB.	DAC	2011	DBLP DOI BibTeX RDF
1	Mohit Tiwari, Xun Li 0001, Hassan M. G. Wassel, Bita Mazloom, Shashidhar Mysore, Frederic T. Chong, Timothy Sherwood	Gate-Level Information-Flow Tracking for Secure Architectures.	IEEE Micro	2010	DBLP DOI BibTeX RDF	covert channels, noninterference, high-assurance systems, timing channels, information-flow tracking
1	Jonathan Valamehr, Mohit Tiwari, Timothy Sherwood, Ryan Kastner, Ted Huffmire, Cynthia E. Irvine, Timothy E. Levin	Hardware assistance for trustworthy systems through 3-D integration.	ACSAC	2010	DBLP DOI BibTeX RDF
1	Jason Oberg, Wei Hu, Ali Irturk, Mohit Tiwari, Timothy Sherwood, Ryan Kastner	Theoretical analysis of gate level information flow tracking.	DAC	2010	DBLP DOI BibTeX RDF	hardware security, Boolean logic, information flow tracking
1	Xun Li 0001, Mohit Tiwari, Timothy Sherwood, Frederic T. Chong	Function flattening for lease-based, information-leak-free systems.	ASAP	2010	DBLP DOI BibTeX RDF
1	Ted Huffmire, Timothy E. Levin, Michael Bilzor, Cynthia E. Irvine, Jonathan Valamehr, Mohit Tiwari, Timothy Sherwood, Ryan Kastner	Hardware trust implications of 3-D integration.	WESS	2010	DBLP DOI BibTeX RDF
1	Mohit Tiwari, Shashidhar Mysore, Timothy Sherwood	Quantifying the Potential of Program Analysis Peripherals.	PACT	2009	DBLP DOI BibTeX RDF
1	Mohit Tiwari, Hassan M. G. Wassel, Bita Mazloom, Shashidhar Mysore, Frederic T. Chong, Timothy Sherwood	Complete information flow tracking from the gates up.	ASPLOS	2009	DBLP DOI BibTeX RDF	provably sound, gate level, information flow tracking
1	Mohit Tiwari, Xun Li 0001, Hassan M. G. Wassel, Frederic T. Chong, Timothy Sherwood	Execution leases: a hardware-supported mechanism for enforcing strong non-interference.	MICRO	2009	DBLP DOI BibTeX RDF	gate level information flow tracking, covert channels, high assurance systems, timing channels
1	Mohit Tiwari, Banit Agrawal, Shashidhar Mysore, Jonathan Valamehr, Timothy Sherwood	A small cache of large ranges: Hardware methods for efficiently searching, storing, and updating big dataflow tags.	MICRO	2008	DBLP DOI BibTeX RDF

Publications of "Mohit Tiwari" ( http://dblp.L3S.de/Authors/Mohit_Tiwari )