13 citations · 51 across the 25 of their papers we have counts for
6 papers · 1 filter
Covert Channel-Based Transmitter Authentication in Controller Area Networks
Xuhang Ying, Giuseppe Bernieri, Mauro Conti +2
In recent years, the security of automotive Cyber-Physical Systems (CPSs) is facing urgent threats due to the widespread use of legacy in-vehicle communication systems. As a repres…
Linear Temporal Logic Satisfaction in Adversarial Environments using Secure Control Barrier Certificates
Bhaskar Ramasubramanian, Luyao Niu, Andrew Clark +2
This paper studies the satisfaction of a class of temporal properties for cyber-physical systems (CPSs) over a finite-time horizon in the presence of an adversary, in an environmen…
Mitigating Vulnerabilities of Voltage-based Intrusion Detection Systems in Controller Area Networks
Sang Uk Sagong, Radha Poovendran, Linda Bushnell
Data for controlling a vehicle is exchanged among Electronic Control Units (ECUs) via in-vehicle network protocols such as the Controller Area Network (CAN) protocol. Since these p…
Potential-Based Advice for Stochastic Policy Learning
Baicen Xiao, Bhaskar Ramasubramanian, Andrew Clark +3
This paper augments the reward received by a reinforcement learning agent with potential functions in order to help the agent learn (possibly stochastic) optimal policies. We show…
Detecting ADS-B Spoofing Attacks using Deep Neural Networks
Xuhang Ying, Joanna Mazer, Giuseppe Bernieri +3
The Automatic Dependent Surveillance-Broadcast (ADS-B) system is a key component of the Next Generation Air Transportation System (NextGen) that manages the increasingly congested…
Secure Control under Partial Observability with Temporal Logic Constraints
Bhaskar Ramasubramanian, Andrew Clark, Linda Bushnell +1
This paper studies the synthesis of control policies for an agent that has to satisfy a temporal logic specification in a partially observable environment, in the presence of an ad…