Yujie Wang Cailani Lemieux Mack Thidapat Chantem Sanjoy K. Baruah Ning Zhang 0017 Bryan C. Ward Partial Context-Sensitive Pointer Integrity for Real-time Embedded Systems. 415-426 2024 RTSS https://doi.org/10.1109/RTSS62706.2024.00042 conf/rtss/2024 db/conf/rtss/rtss2024.html#WangMCB0W24