Secure Embedded Processing through Hardware-Assisted Run-Time Monitoring - Arora, Divya; Ravi, Srivaths; Raghunathan, Anand; Jha, Niraj K. (Design, Automation and Test in Europe, 2005)
Keywords: Communication system security; Computer architecture; Computer systems organization -- Embedded and cyber-physical systems; Computer systems organization -- Real-time systems; Data security; Embedded software; Embedded system; General and reference -- Cross-computing tools and techniques -- Verification; Hardware; Hardware -- Hardware validation; Information security; Mathematics of computing -- Discrete mathematics -- Graph theory -- Graph algorithms; Monitoring; National electric code; Runtime; Software and its engineering -- Software creation and management -- Software development process management; Software and its engineering -- Software creation and management -- Software verification and validation -- Formal software verification; Software and its engineering -- Software organization and properties -- Software functional properties -- Formal methods -- Software verification; Theory of computation -- Semantics and reasoning -- Program reasoning -- Program analysis; Theory of computation -- Semantics and reasoning -- Program reasoning -- Program verification; Theory of computation -- Semantics and reasoning -- Program semantics