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. |
Year | DOI | Venue |
---|---|---|
2010 | 10.1145/1837274.1837337 | DAC |
Keywords | Field | DocType |
boolean function,precise symbolic representation,quantitative analysis,computer security,basic boolean function,precise understanding,fundamental definition,theoretical analysis,gate level information flow,glift logic,information security,hardware security,security,computer science,hardware,data security,boolean logic,boolean functions,system security,mathematical model,information analysis,benchmark testing,multiplexing,logic design,information flow,logic gates | Boolean function,Logic synthesis,Information flow (information theory),Logic gate,Hardware security module,Computer science,Information security,Theoretical computer science,Boolean algebra,Benchmark (computing) | Conference |
Volume | Issue | ISSN |
null | null | 0738-100X |
ISBN | Citations | PageRank |
978-1-4244-6677-1 | 12 | 0.74 |
References | Authors | |
5 | 6 |
Name | Order | Citations | PageRank |
---|---|---|---|
Jason Oberg | 1 | 197 | 12.45 |
Wei Hu | 2 | 41 | 3.92 |
Ali Irturk | 3 | 95 | 7.07 |
Mohit Tiwari | 4 | 445 | 23.94 |
Timothy Sherwood | 5 | 1921 | 123.28 |
Ryan Kastner | 6 | 1779 | 147.73 |