Defending AUTOSAR Safety Critical Systems Against Code Reuse Attacks.

Ahmad M. K. Nasser Di Ma

Published in: AutoSec@CODASPY (2019)

Keyphrases

safety critical
formal methods
safety analysis
fault tolerant
nuclear power plant
agent architecture
embedded systems
intelligent systems
real time
learning systems
distributed systems
medical images
software engineering
management system
expert systems
cooperative
learning environment
case study
database