Software Engineering Institute

Lijing Zhai (Georgia Institute of Technology)

Georgia Institute of Technology

All

A Modular Approach to Verification of Learning Components in Cyber-Physical Systems

January 19, 2023 • Conference Paper

By Lijing Zhai (Georgia Institute of Technology) , Aris Kanellopoulos (Georgia Institute of Technology) , Filippos Fotiadis (Georgia Institute of Technology) , Kyriakos G. Vamvoudakis (Georgia Institute of Technology) , Jerome Hugues

A Graph-Theoretic Security Index Based on Undetectability for Cyber-Physical Systems

June 8, 2022 • Conference Paper

By Lijing Zhai (Georgia Institute of Technology) , Kyriakos G. Vamvoudakis (Georgia Institute of Technology) , Jerome Hugues

Towards Intelligent Security for Unmanned Aerial Vehicles: A Taxonomy of Attacks, Faults, and Detection Mechanisms

December 29, 2021 • Conference Paper

By Lijing Zhai (Georgia Institute of Technology) , Aris Kanellopoulos (Georgia Institute of Technology) , Filippos Fotiadis (Georgia Institute of Technology) , Kyriakos G. Vamvoudakis (Georgia Institute of Technology) , Jerome Hugues

Switching Watermarking-based Detection Scheme Against Replay Attacks

December 14, 2021 • Conference Paper

By Lijing Zhai (Georgia Institute of Technology) , Kyriakos G. Vamvoudakis (Georgia Institute of Technology) , Jerome Hugues