Enforcing Full-Stack Memory-Safety in Cyber-Physical Systems - Chekole, Eyasu Getahun; Chattopadhyay, Sudipta; Ochoa, Martín; Huaqun, Guo (Engineering Secure Software and Systems, 2018)