1. Aion: Enabling Open Systems through Strong Availability Guarantees for Enclaves
2. S The Security MicroVisor: A Formally-Verified Software-Based Security Architecture for the Internet of Things
3. Raad Bahmani , Ferdinand Brasser , Ghada Dessouky , Patrick Jauernig , Matthias Klimmek , Ahmad-Reza Sadeghi , and Emmanuel Stapf . 2021 . CURE: A Security Architecture with CUstomizable and Resilient Enclaves. In 30th USENIX Security Symposium (USENIX Security 21) . USENIX Association, 1073--1090. Retrieved from https://www.usenix.org/conference/usenixsecurity21/presentation/bahmani Raad Bahmani, Ferdinand Brasser, Ghada Dessouky, Patrick Jauernig, Matthias Klimmek, Ahmad-Reza Sadeghi, and Emmanuel Stapf. 2021. CURE: A Security Architecture with CUstomizable and Resilient Enclaves. In 30th USENIX Security Symposium (USENIX Security 21). USENIX Association, 1073--1090. Retrieved from https://www.usenix.org/conference/usenixsecurity21/presentation/bahmani
4. Jo Van Bulck , Marina Minkin , Ofir Weisse , Daniel Genkin , Baris Kasikci , Frank Piessens , Mark Silberstein , Thomas F. Wenisch , Yuval Yarom , and Raoul Strackx . 2018 . Foreshadow: Extracting the Keys to the Intel SGX Kingdom with Transient Out-of-Order Execution . In 27th USENIX Security Symposium (USENIX Security 18) . USENIX Association, Baltimore, MD, 991--1008. Retrieved from https.//www.usenix.org/conference/usenixsecurity18/presentation/bulck Jo Van Bulck, Marina Minkin, Ofir Weisse, Daniel Genkin, Baris Kasikci, Frank Piessens, Mark Silberstein, Thomas F. Wenisch, Yuval Yarom, and Raoul Strackx. 2018. Foreshadow: Extracting the Keys to the Intel SGX Kingdom with Transient Out-of-Order Execution. In 27th USENIX Security Symposium (USENIX Security 18). USENIX Association, Baltimore, MD, 991--1008. Retrieved from https.//www.usenix.org/conference/usenixsecurity18/presentation/bulck
5. Eric J Byres , Matthew Franz , and Darrin Miller . 2004 . The Use of Attack Trees in Assessing Vulnerabilities in SCADA Systems . In Proceedings of the International Infrastructure Survivability Workshop. Citeseer, 3--10 . Eric J Byres, Matthew Franz, and Darrin Miller. 2004. The Use of Attack Trees in Assessing Vulnerabilities in SCADA Systems. In Proceedings of the International Infrastructure Survivability Workshop. Citeseer, 3--10.