3 papers
cs.CR2026
Orbital Escalation: Modeling Satellite Ransomware Attacks Using Game Theory
Efrén López-Morales
Ransomware has yet to reach orbit, but the conditions for such an attack already exist. This paper presents the first game-theoretic framework for modeling ransomware against satel…
cs.CR2026
HoneySat: A Network-based Satellite Honeypot Framework
Efrén López-Morales, Ulysse Planta, Gabriele Marra +6
Satellites are the backbone of several mission-critical services that enable our modern society to function, for example, GPS. For years, satellites were assumed to be secure becau…
cs.CR2024
SoK: Security of Programmable Logic Controllers
Efrén López-Morales, Ulysse Planta, Carlos Rubio-Medrano +2
Billions of people rely on essential utility and manufacturing infrastructures such as water treatment plants, energy management, and food production. Our dependence on reliable in…