Dr. Fanxin Kong

Interests: Cyber-Physical Systems and Internet of Things.

Techniques: Machine learning, formal methods, control, optimization, and algorithm design.

Applications: Autonomous systems including robotic cars and drones.

Email: fkong at nd dot edu

Other profiles: Google Scholar, dblp Entry 

Dr. Fanxin Kong is a tenure-track assistant professor in the Department of Computer Science and Engineering at University of Notre Dame. Before that, he worked as a tenure-track assistant professor at Syracuse University and as a postdoctoral researcher with Prof. Insup Lee in the PRECISE Center at University of Pennsylvania. He obtained his Ph.D. in Computer Science at McGill University under the guidance of Prof. Xue Liu. He is serving as the Information Director of ACM SIGBED.

New! I am looking for self-motivated PhD students. Interns, visiting students and scholars are all welcome. If you are interested in my research and working with me, please directly contact me with your CV.  

[Jan. 2024], Paper: our paper "Vulnerability Analysis for Safe Reinforcement Learning in Cyber-Physical Systems", is accepted by the 15th ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS), 2024. Congratulations to Shixiong and Mengyu

[Jan. 2024], Paper: our paper "Fast Attack Recovery for Stochastic Cyber-Physical Systems", is accepted by the 30th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), 2024. Congratulations to Lin, Luis, and all

[Dec. 2023], Talk: I gave a talk on Real-Time Attack-Resilient Cyber-Physical Systems in the Department of Computer Science at Indiana University Bloomington. Thank Dr. Luyi Xing for the invitation!

[Nov. 2023], Book chapter: our book chapter on AI-Enabled Attack Detection for Cyber-Physical Systems, in the book "AI Embedded Assurance for Cyber Systems", is online! [Link]

[Oct. 2023], Travel grant: Zifan has received the travel grant to RTSS 2023. Congratulations!

[Oct. 2023], Talk: I gave a talk on Attack Recovery for Cyber-Physical Systems, in EAI International Conference on Security and Privacy in Cyber-Physical Systems and Smart Vehicles (SmartSP 2023). Thank Dr. Yu Chen for the invitation!

[Spe. 2023], Competition: our Simulation and Security Toolbox for Cyber-Physical Systems was accepted and presented in the Embedded Systems Research Software Competition at ESWEEK. Congratulations to Mengyu!

[Aug 2023], Paper: our paper "Learn-to-Respond: Sequence-Predictive Recovery from Sensor Attacks in Cyber-Physical Systems", is accepted by the 44th IEEE Real-Time Systems Symposium (RTSS), 2023. Congratulations to Mengyu

[Aug 2023], Paper: our paper "Catch You If Pay Attention: Temporal Sensor Attack Diagnosis Using Attention Mechanisms for Cyber-Physical Systems", is accepted by the 44th IEEE Real-Time Systems Symposium (RTSS), 2023. Congratulations to Zifan

[July 2023], Job: I joined the Department of Computer Science and Engineering at University of Notre Dame!

[May 2023], Tool: our Simulation and Security Toolbox for Cyber-Physical Systems is online. Visit CPSim!

[May 2023], Paper: our paper "Optimal Checkpointing Strategy for Real-time Systems with Both Logical and Timing Correctness", is accepted by ACM Transactions on Embedded Computing Systems (TECS). Congratulations to Lin and Zifan!

[Apr. 2023], Service: I will serve as the session chair of "Session 8: Networks and Communication" at RTAS'23. See you at San Antonio!

[Apr. 2023], Defense: Lin passed his PhD dissertation defense. Big congratulations to Dr. Zhang! My second PhD graduate!

[Apr. 2023], Award: I receive the award of AFRL VFRP 2023! Many thanks, AFRL!!!

[Apr. 2023], Award: Mengyu received the summer pre-dissertation fellowship for Summer 2023. Big congratulations to Mengyu!

[Apr. 2023], Award: Lin received the Pramod K. and Anju Varshney Endowed Graduate Scholarship for the 2022-2023 academic year. Big congratulations to Lin!

[Mar. 2023], Paper: our tool paper "Demo: Simulation and Security Toolbox for Cyber-Physical Systems", is accepted by RTAS 2023 Brief Presentation, part of CPS-IoT 2023. Congratulations to Lin and Mengyu

[Mar. 2023], Paper: our paper "Real-Time Data-Predictive Attack-Recovery for Complex Cyber-Physical Systems", is accepted by RTAS 2023, part of CPS-IoT 2023. Congratulations to Lin and all! See you at San Antonio!

[Jan. 2023], Grant: Hardening Development Toolchains Against Emergent Execution Engines (HARDEN) program, DARPA.

   Secure & Safe Reinforcement Learning:

   Attack Recovery:

   Attack Detection & Diagnosis: 

   Hidden Attack Defense

Autonomous system testbeds: self-driving car, drone, self-balancing two wheeler, indoor localization

    

No recovery vs real-time attack recovery, SVL  simulator

     

No recovery vs real-time attack recovery, indoor autonomous vehicles

    

Drone path recovery under GPS attacks, Quad_SimCon simulator