Ao Li

According to our database, Ao Li authored at least 18 papers between 2019 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Priority-based concurrency and shared resource access mechanisms for nested intercomponent requests in CAmkES.

Marion Sudvarg, Zhuoran Sun, Ao Li, Chris Gill, Ning Zhang

Real Time Syst., March, 2024

Opportunistic Data Flow Integrity for Real-time Cyber-physical Systems Using Worst Case Execution Time Reservation.

Yujie Wang, Ao Li, Jinwen Wang, Sanjoy K. Baruah, Ning Zhang

Proceedings of the 33rd USENIX Security Symposium, 2024

Elastic Scheduling for Harmonic Task Systems.

Marion Sudvarg, Ao Li, Daisy Wang, Sanjoy K. Baruah, Jeremy Buhler, Chris Gill, Ning Zhang, Pontus Ekberg

Proceedings of the 30th IEEE Real-Time and Embedded Technology and Applications Symposium, 2024

An Empirical Study of Performance Interference: Timing Violation Patterns and Impacts.

Ao Li, Jinwen Wang, Sanjoy K. Baruah, Bruno Sinopoli, Ning Zhang

Proceedings of the 30th IEEE Real-Time and Embedded Technology and Applications Symposium, 2024

Data-flow Availability: Achieving Timing Assurance in Autonomous Systems.

Ao Li, Ning Zhang

Proceedings of the 18th USENIX Symposium on Operating Systems Design and Implementation, 2024

PhySense: Defending Physically Realizable Attacks for Autonomous Systems via Consistency Reasoning.

Zhiyuan Yu, Ao Li, Ruoyao Wen, Yijia Chen, Ning Zhang

Proceedings of the 2024 on ACM SIGSAC Conference on Computer and Communications Security, 2024

2023

MS-PTP: Protecting Network Timing from Byzantine Attacks.

Shanghao Shi, Yang Xiao, Changlai Du, Md Hasan Shahriar, Ao Li, Ning Zhang, Y. Thomas Hou, Wenjing Lou

Proceedings of the 16th ACM Conference on Security and Privacy in Wireless and Mobile Networks, 2023

ARI: Attestation of Real-time Mission Execution Integrity.

Jinwen Wang, Yujie Wang, Ao Li, Yang Xiao, Ruide Zhang, Wenjing Lou, Y. Thomas Hou, Ning Zhang

Proceedings of the 32nd USENIX Security Symposium, 2023

Who's Afraid of Butterflies? A Close Examination of the Butterfly Attack.

Sanjoy K. Baruah, Pontus Ekberg, Mehdi Hosseinzadeh, Ao Li, Bryan C. Ward, Ning Zhang

Proceedings of the IEEE Real-Time Systems Symposium, 2023

Software and Behavior Diversification for Swarm Robotics Systems.

Ao Li, Sinyin Chang, Guorui Li, Yuanhaur Chang, Nathan Fisher, Thidapat Chantem

Proceedings of the 10th ACM Workshop on Moving Target Defense, 2023

2022

SceGene: Bio-Inspired Traffic Scenario Generation for Autonomous Driving Testing.

Ao Li, Shitao Chen, Liting Sun, Nanning Zheng, Masayoshi Tomizuka, Wei Zhan

IEEE Trans. Intell. Transp. Syst., 2022

RT-TEE: Real-time System Availability for Cyber-physical Systems using ARM TrustZone.

Jinwen Wang, Ao Li, Haoran Li, Chenyang Lu, Ning Zhang

Proceedings of the 43rd IEEE Symposium on Security and Privacy, 2022

Work-in-Progress: Measuring Security Protection in Real-time Embedded Firmware.

Yuhao Wu, Yujie Wang, Shixuan Zhai, Zihan Li, Ao Li, Jinwen Wang, Ning Zhang

Proceedings of the IEEE Real-Time Systems Symposium, 2022

PolyRhythm: Adaptive Tuning of a Multi-Channel Attack Template for Timing Interference.

Ao Li, Marion Sudvarg, Han Liu, Zhiyuan Yu, Chris Gill, Ning Zhang

Proceedings of the IEEE Real-Time Systems Symposium, 2022

Injection Simulation: an Efficient Validation Framework for Autonomous Driving System.

Tong Xiao, Shitao Chen, Kongtao Zhu, Rongyao Huang, Ao Li, Nanning Zheng, Jingmin Xin

Proceedings of the 25th IEEE International Conference on Intelligent Transportation Systems, 2022

From Timing Variations to Performance Degradation: Understanding and Mitigating the Impact of Software Execution Timing in SLAM.

Ao Li, Han Liu, Jinwen Wang, Ning Zhang

Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2022

2021

Chronos: Timing Interference as a New Attack Vector on Autonomous Cyber-physical Systems.

Ao Li, Jinwen Wang, Ning Zhang

Proceedings of the CCS '21: 2021 ACM SIGSAC Conference on Computer and Communications Security, Virtual Event, Republic of Korea, November 15, 2021

2019

Multiple criteria decision-making for lane-change model.

Ao Li, Liting Sun, Wei Zhan, Masayoshi Tomizuka

CoRR, 2019