Branden Sherrell

Runtime State Verification on Resource-Constrained Platforms

2018

Verifying the integrity of multi-component cyber and cyber-physical systems remains a crucial and necessary precondition for trust. The edge components of such systems, those that interact directly with the user or physical world, are typically …