Publisher
Institute of Electrical and Electronics Engineers (IEEE)
Subject
Electrical and Electronic Engineering
Cited by
19 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Operationally Proving Memory Access Violations in Isabelle/HOL;Science of Computer Programming;2024-01
2. Mr-TEE;Proceedings of the 24th International Middleware Conference: Industrial Track;2023-12-11
3. Software-Based Security Approach for Networked Embedded Devices;ACM SIGAda Ada Letters;2023-10-30
4. MicroProfiler: Principled Side-Channel Mitigation through Microarchitectural Profiling;2023 IEEE 8th European Symposium on Security and Privacy (EuroS&P);2023-07
5. Towards End-to-End Verified TEEs via Verified Interface Conformance and Certified Compilers;2023 IEEE 36th Computer Security Foundations Symposium (CSF);2023-07