Theoretical analysis of gate level information flow tracking

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 and is an invaluable tool for proving many system security properties. 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.

• Type: Conference
• Year: 2010
• Where: DAC
• Authors: Jason Oberg, Wei Hu, Ali Irturk, Mohit Tiwari, Timothy Sherwood, Ryan Kastner
• Keywords: Boolean Functions, Computer Architecture, DAC 2010, GLIFT Logic, Precise Symbolic Representations