Author:
Blackham Bernard,Shi Yao,Chattopadhyay Sudipta,Roychoudhury Abhik,Heiser Gernot
Cited by
40 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. A Runtime Security Monitoring Architecture for Embedded Hypervisors;2023 IEEE 36th International System-on-Chip Conference (SOCC);2023-09-05
2. Performal: Formal Verification of Latency Properties for Distributed Systems;Proceedings of the ACM on Programming Languages;2023-06-06
3. A Concurrency Framework for Priority-Aware Intercomponent Requests in CAmkES on seL4;2022 IEEE 28th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA);2022-08
4. T-SYS: Timed-Based System Security for Real-Time Kernels;2022 ACM/IEEE 13th International Conference on Cyber-Physical Systems (ICCPS);2022-05
5. The Thundering Herd: Amplifying Kernel Interference to Attack Response Times;2022 IEEE 28th Real-Time and Embedded Technology and Applications Symposium (RTAS);2022-05