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

fYear

2010

fDate

13-18 June 2010

Firstpage

244

Lastpage

247

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Design Automation Conference (DAC), 2010 47th ACM/IEEE

Conference_Location

Anaheim, CA

ISSN

0738-100X

Print_ISBN

978-1-4244-6677-1

Type

conf

Filename

5523331