17 citations · 17 across the 1 of their papers we have counts for
3 papers
I Always Feel Like Somebody's Sensing Me! A Framework to Detect, Identify, and Localize Clandestine Wireless Sensors
Akash Deep Singh, Luis Garcia, Joseph Noor +1
The increasing ubiquity of low-cost wireless sensors has enabled users to easily deploy systems to remotely monitor and control their environments. However, this raises privacy con…
HyPLC: Hybrid Programmable Logic Controller Program Translation for Verification
Luis Garcia, Stefan Mitsch, Andre Platzer
Programmable Logic Controllers (PLCs) provide a prominent choice of implementation platform for safety-critical industrial control systems. Formal verification provides ways of est…
Control Behavior Integrity for Distributed Cyber-Physical Systems
Sridhar Adepu, Ferdinand Brasser, Luis Garcia +4
Cyber-physical control systems, such as industrial control systems (ICS), are increasingly targeted by cyberattacks. Such attacks can potentially cause tremendous damage, affect cr…