1. [n. d.]. ARM Security Technology - Building a Secure System using TrustZone Technology. https://www.amd.com/en/processors/amd-secure-encrypted-virtualization. ([n. d.]). [n. d.]. ARM Security Technology - Building a Secure System using TrustZone Technology. https://www.amd.com/en/processors/amd-secure-encrypted-virtualization. ([n. d.]).
2. 2020. AMD SEV-SNP: Strengthening VM Isolation with Integrity Protection and More. https://www.amd.com/en/processors/amd-secure-encrypted-virtualization. (2020). 2020. AMD SEV-SNP: Strengthening VM Isolation with Integrity Protection and More. https://www.amd.com/en/processors/amd-secure-encrypted-virtualization. (2020).
3. 2023. [Coccinelle Home Page]. https://coccinelle.gitlabpages.inria.fr/website/ (Accessed: 2023-06-01). (2023). 2023. [Coccinelle Home Page]. https://coccinelle.gitlabpages.inria.fr/website/ (Accessed: 2023-06-01). (2023).
4. Sergei Arnautov , Bohdan Trach , Franz Gregor , Thomas Knauth , Andre Martin , Christian Priebe , Joshua Lind , Divya Muthukumaran , Dan O'Keeffe , Mark L. Stillwell , David Goltzsche , Dave Eyers , Rüdiger Kapitza , Peter Pietzuch , and Christof Fetzer . 2016 . SCONE: Secure Linux Containers with Intel SGX. In 12th USENIX Symposium on Operating Systems Design and Implementation (OSDI 16) . USENIX Association, Savannah, GA, 689--703. https://www.usenix.org/conference/osdi16/technical-sessions/presentation/arnautov Sergei Arnautov, Bohdan Trach, Franz Gregor, Thomas Knauth, Andre Martin, Christian Priebe, Joshua Lind, Divya Muthukumaran, Dan O'Keeffe, Mark L. Stillwell, David Goltzsche, Dave Eyers, Rüdiger Kapitza, Peter Pietzuch, and Christof Fetzer. 2016. SCONE: Secure Linux Containers with Intel SGX. In 12th USENIX Symposium on Operating Systems Design and Implementation (OSDI 16). USENIX Association, Savannah, GA, 689--703. https://www.usenix.org/conference/osdi16/technical-sessions/presentation/arnautov
5. The multikernel