On Threat Modeling and Mitigation of Medical Cyber-Physical Systems
Data-Oriented Programming: On the Expressiveness of Non-control Data Attacks