Theoretical analysis of gate level information flow tracking

Authors:
Jason Oberg;Wei Hu;Ali Irturk;Mohit Tiwari;Timothy Sherwood;Ryan Kastner
Affiliations:
University of California, San Diego;Northwestern Polytechnical University, Xi'an, China;University of California, San Diego;University of California, Santa Barbara;University of California, Santa Barbara;University of California, San Diego
Venue:
Proceedings of the 47th Design Automation Conference
Year:
2010

Citing 6
Cited 1

A sound type system for secure flow analysis

Journal of Computer Security
Secure program execution via dynamic information flow tracking

ASPLOS XI Proceedings of the 11th international conference on Architectural support for programming languages and operating systems
Raksha: a flexible information flow architecture for software security

Proceedings of the 34th annual international symposium on Computer architecture
Complete information flow tracking from the gates up

Proceedings of the 14th international conference on Architectural support for programming languages and operating systems
Execution leases: a hardware-supported mechanism for enforcing strong non-interference

Proceedings of the 42nd Annual IEEE/ACM International Symposium on Microarchitecture
Language-based information-flow security

IEEE Journal on Selected Areas in Communications

Information flow isolation in I2C and USB

Proceedings of the 48th Design Automation Conference

Quantified Score

Hi-index	0.00

Visualization

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.