RARES: Runtime Attack Resilient Embedded System Design Using Verified Proof-of-Execution.

Avani Dave Nilanjan Banerjee Chintan Patel

Published in: CoRR (2023)

Keyphrases

genetic algorithm
case study
expert systems
user interface
databases
building blocks
design process