Software Engineering Institute

Kyriakos Vamvoudakis

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

Impact of Sensor and Actuator Clock Offsets on Reinforcement Learning

January 19, 2023 • Conference Paper

By Filippos Fotiadis (Georgia Institute of Technology), Aris Kanellopoulos (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

More from Kyriakos Vamvoudakis