Ao Li

Publication Activity (10 Years)

Years Active: 2023-2024
Publications (10 Years): 7

Top Topics

Database Machine

Uncertain Environments

Top Venues

USENIX Security Symposium

Real Time Syst.

Publications

Ao Li, Jinwen Wang, Sanjoy K. Baruah, Bruno Sinopoli, Ning Zhang
An Empirical Study of Performance Interference: Timing Violation Patterns and Impacts. RTAS (2024)
Marion Sudvarg, Zhuoran Sun, Ao Li, Chris Gill, Ning Zhang
Priority-based concurrency and shared resource access mechanisms for nested intercomponent requests in CAmkES. Real Time Syst. 60 (1) (2024)
Marion Sudvarg, Ao Li, Daisy Wang, Sanjoy K. Baruah, Jeremy Buhler, Chris Gill, Ning Zhang, Pontus Ekberg
Elastic Scheduling for Harmonic Task Systems. RTAS (2024)
Ao Li, Ning Zhang
Data-flow Availability: Achieving Timing Assurance in Autonomous Systems. OSDI (2024)
Yujie Wang, Ao Li, Jinwen Wang, Sanjoy K. Baruah, Ning Zhang
Opportunistic Data Flow Integrity for Real-time Cyber-physical Systems Using Worst Case Execution Time Reservation. USENIX Security Symposium (2024)
Shanghao Shi, Yang Xiao, Changlai Du, Md Hasan Shahriar, Ao Li, Ning Zhang, Y. Thomas Hou, Wenjing Lou
MS-PTP: Protecting Network Timing from Byzantine Attacks. WISEC (2023)
Jinwen Wang, Yujie Wang, Ao Li, Yang Xiao, Ruide Zhang, Wenjing Lou, Y. Thomas Hou, Ning Zhang
ARI: Attestation of Real-time Mission Execution Integrity. USENIX Security Symposium (2023)