Search results for "gate level information flow tracking"

Found 6 publication records. Showing 6 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
2	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
2	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	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	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	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

Displaying result #1 - #6 of 6 (100 per page; Change: )