Title :
Theoretical analysis of gate level information flow tracking
Author :
Oberg, Jason ; Hu, Wei ; Irturk, Ali ; Tiwari, Mohit ; Sherwood, Timothy ; Kastner, Ryan
Author_Institution :
Comput. Sci. & Eng., Univ. of California, San Diego, CA, USA
Abstract :
Understanding the flow of information is an important aspect in computer security. There has been a recent move towards tracking information in hardware and understanding the flow of individual bits through Boolean functions. Such gate level information flow tracking (GLIFT) provides a precise understanding of all flows of information. This paper presents a theoretical analysis of GLIFT. It formalizes the problem, provides fundamental definitions and properties, introduces precise symbolic representations of the GLIFT logic for basic Boolean functions, and gives analytic and quantitative analysis of the GLIFT logic.
Keywords :
Boolean functions; security of data; Boolean functions; GLIFT logic; computer security; gate level information flow tracking; theoretical analysis; Boolean functions; Computer science; Computer security; Data security; Hardware; Information analysis; Information security; Logic design; Logic functions; Multiplexing; Boolean Logic; Hardware Security; Information Flow Tracking;
Conference_Titel :
Design Automation Conference (DAC), 2010 47th ACM/IEEE
Conference_Location :
Anaheim, CA
Print_ISBN :
978-1-4244-6677-1
