Name
Abstract | ||
|---|---|---|
Hardware-based side channels are known to expose hard-to-detect security holes enabling attackers to get a foothold into the system to perform malicious activities. Despite this fact, security is rarely accounted for in hardware design flows. As a result, security holes are often only identified after significant damage has been inflicted. Recently, gate level information flow tracking (GLIFT) has been proposed to verify information flow security at the level of Boolean gates. GLIFT is able to detect all logical flows including hardware specific timing channels, which is useful for ensuring properties related to confidentiality and integrity and can even provide real-time guarantees on system behavior. GLIFT can be integrated into the standard hardware design, testing and verification process to eliminate unintended information flows in the target design. However, generating GLIFT logic is a difficult problem due to its inherent complexity and the potential losses in precision. This paper provides a formal basis for deriving GLIFT logic which includes a proof on the NP-completeness of generating precise GLIFT logic and a formal analysis of the complexity and precision of various GLIFT logic generation algorithms. Experimental results using IWLS benchmarks provide a practical understanding of the computational complexity. |
Year | DOI | Venue |
|---|---|---|
2012 | 10.1109/TIFS.2012.2189105 | IEEE Transactions on Information Forensics and Security |
Keywords | Field | DocType |
boolean functions,computational complexity,algorithm design and analysis,information security,gate level information flow tracking,logic gates,np completeness,security,algorithm design,data confidentiality,data integrity,real time,generic algorithm,formal verification,logic gate,boolean function,logic design,information flow,formal specification,hardware | Logic synthesis,Boolean function,Logic gate,Computer science,Theoretical computer science,Design flow,Artificial intelligence,Computer engineering,Information flow (information theory),Computer vision,Formal specification,Data integrity,Formal verification | Journal |
Volume | Issue | ISSN |
7 | 3 | 1556-6013 |
Citations | PageRank | References |
9 | 0.53 | 20 |
Authors | ||
7 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Wei Hu | 1 | 10 | 0.89 |
| Jason Oberg | 2 | 197 | 12.45 |
| Ali Irturk | 3 | 95 | 7.07 |
| Mohit Tiwari | 4 | 445 | 23.94 |
| Timothy Sherwood | 5 | 1921 | 123.28 |
| Dejun Mu | 6 | 67 | 13.00 |
| Ryan Kastner | 7 | 1779 | 147.73 |