6 citations · 6 across the 3 of their papers we have counts for
3 papers
eess.SY2024
Measuring Robustness in Cyber-Physical Systems under Sensor Attacks
Jian Xiang, Ruggero Lanotte, Simone Tini +2
This paper contributes a formal framework for quantitative analysis of bounded sensor attacks on cyber-physical systems, using the formalism of differential dynamic logic. Given a…
cs.PL2022★ 6 cited
Towards Porting Operating Systems with Program Synthesis
Jingmei Hu, Eric Lu, David A. Holland +3
The end of Moore's Law has ushered in a diversity of hardware not seen in decades. Operating system (and system software) portability is accordingly becoming increasingly critical.…
cs.CR2021
Relational Analysis of Sensor Attacks on Cyber-Physical Systems
Jian Xiang, Nathan Fulton, Stephen Chong
Cyber-physical systems, such as self-driving cars or autonomous aircraft, must defend against attacks that target sensor hardware. Analyzing system design can help engineers unders…