Martin Ochoa

Latest

• On the Security of Containers: Threat Modeling, Attack Analysis, and Mitigation Strategies
• Threat Modeling and Security Analysis of Containers: A Survey
• SCOPE: Secure Compiling of PLCs in Cyber-Physical Systems
• CIMA: Compiler-Enforced Resilience Against Memory Safety Attacks in Cyber-Physical Systems
• Taming the War in Memory: A Resilient Mitigation Strategy Against Memory Safety Attacks in CPS
• Enforcing Full-Stack Memory Safety in Cyber-Physical Systems
• Enforcing Memory Safety in Cyber-Physical Systems