search
menu
icon-carat-right
cmu-wordmark
✕
About
Leadership
Divisions
Work with Us
Collaboration with CMU
History of Innovation at the SEI
Our Work
Agile
Artificial Intelligence Engineering
Cyber Workforce Development
Cybersecurity Center Development
Cybersecurity Engineering
DevSecOps
Enterprise Risk and Resilience Management
All Topics
All Projects
Publications
Annual Reviews
Blog
Digital Library
Podcast Series
Software and Tools
Technical Papers
Vulnerability Notes Database
Webinar Series
News and Events
News
Events
SEI Bulletin
Education and Outreach
Courses
Credentials
Curricula
License SEI Materials
Careers
Job Openings
Diversity, Equity and Inclusion
Internship Opportunities
Working at the SEI
Carnegie Mellon University
Software Engineering Institute
About
Leadership
Divisions
Work with Us
Collaboration with CMU
History of Innovation at the SEI
Our Work
Agile
Artificial Intelligence Engineering
Cloud Computing
Cyber Workforce Development
Cybersecurity Center Development
Cybersecurity Engineering
DevSecOps
All Topics
All Projects
Publications
Annual Reviews
Blog
Digital Library
Podcast Series
Software and Tools
Technical Papers
Vulnerability Notes Database
Webcasts Series
News and Events
News
Events
SEI Bulletin
Education and Outreach
Courses
Credentials
Curricula
License SEI Materials
Careers
Job Openings
Diversity, Equity, and Inclusion
Internship Opportunities
Home
Publications
Authors
Lijing Zhai (Georgia Institute of Technology)
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