Author:
Karger P.A.,Zurko M.E.,Bonin D.W.,Mason A.H.,Kahn C.E.
Publisher
Institute of Electrical and Electronics Engineers (IEEE)
Cited by
68 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Atmosphere: Towards Practical Verified Kernels in Rust;Proceedings of the 1st Workshop on Kernel Isolation, Safety and Verification;2023-10-23
2. Probabilistic Obfuscation Through Covert Channels;2018 IEEE European Symposium on Security and Privacy (EuroS&P);2018-04
3. Panel;Proceedings of the 2017 New Security Paradigms Workshop;2017-10
4. Enforcing Security in Artificially Intelligent Robots Using Monitors (Short Paper);Information Security Practice and Experience;2017
5. Using Proven Reference Monitor Patterns for Security Evaluation;Information;2016-04-26