1 citations · 1 across the 2 of their papers we have counts for
2 papers
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…
cs.LO2017★ 1 cited
Interpreted Formalisms for Configurations
Chong Tang, Kevin Sullivan, Jian Xiang +2
Imprecise and incomplete specification of system \textit{configurations} threatens safety, security, functionality, and other critical system properties and uselessly enlarges the…