Skip to main content
PRL Project


Clean-slate Resilient Adaptive Secure Hosts

Correct-by-Construction Attack-Tolerant Systems

In response to an attack, the CRASH Project software will adapt on-the-fly. As components of the computer system come under attack, that targeted code is modified to deter the threat. The substituted code will come from a library of code substitutions that been proven functionally equivalent. The key to developing the library is the Logical Programming Environment (LPE) system which allows for rapid development and formal testing of substitute code.