Gate-Level Information Flow Tracking for Security Lattices

  title={Gate-Level Information Flow Tracking for Security Lattices},
  author={Wei Hu and Dejun Mu and Jason Oberg and Baolei Mao and Mohit Tiwari and Timothy Sherwood and Ryan Kastner},
  journal={ACM Trans. Design Autom. Electr. Syst.},
High-assurance systems found in safety-critical infrastructures are facing steadily increasing cyber threats. These critical systems require rigorous guarantees in information flow security to prevent confidential information from leaking to an unclassified domain and the root of trust from being violated by an untrusted party. To enforce bit-tight information flow control, gate-level information flow tracking (GLIFT) has recently been proposed to precisely measure and manage all digital… CONTINUE READING
Highly Cited
This paper has 17 citations. REVIEW CITATIONS