Abstract
Critical systems require strict guarantees on information flow security and fault tolerance. We present a novel Boolean circuit methodology that can both monitor information flow throughout the hardware and simultaneously act as a triple modular redundant circuit. This is done by modifying the encoding technique for gate level information flow tracking (GLIFT). This new encoding not only has the added benefit of allowing for redundancy, it also reduces the size of the logic required for information flow tracking compared to the previous GLIFT encodings. This enables the development of high assurance systems on top of hardware with provable integrity and confidentiality properties. The new encoding also allows for these systems to be created with smaller area, lower power, and faster design time.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Kastner, R. (2013). Circuit Primitives for Monitoring Information Flow and Enabling Redundancy. In: Biere, A., Nahir, A., Vos, T. (eds) Hardware and Software: Verification and Testing. HVC 2012. Lecture Notes in Computer Science, vol 7857. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-39611-3_6
Download citation
DOI: https://doi.org/10.1007/978-3-642-39611-3_6
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-39610-6
Online ISBN: 978-3-642-39611-3
eBook Packages: Computer ScienceComputer Science (R0)