Double Helix and RAVEN: A System for Cyber Fault Tolerance and Recovery
Double Helix and RAVEN: A System for Cyber Fault Tolerance and Recovery
M. Co,J. Davidson,10 Authors,S. Forrest
2016 · DOI: 10.1145/2897795.2897805
Cyber and Information Security Research Conference · 19 Citations
TLDR
An overview and status of a cyber fault tolerant system that uses a low overhead multi-variant execution environment and precise static binary analysis and efficient rewriting technology to produce structured variants which allow automated verification techniques to prove security properties of the system is presented.