Software Engineering Institute

Lijing Zhai

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

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

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

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