Essays about: "sel4"

Found 2 essays containing the word sel4.

1. 1. Cyber Attacks Against SDN Controllers And Protecting The Control Plane With A Formally Verified Microkernel

   University essay from Linköpings universitet/Programvara och system

   Author : Olof Holmberg; [2021]
   Keywords : SDN; Software-Defined Networking; Microkernel; seL4;

   Abstract : Software-Defined Networking (SDN) is a technology that is increasing in popularity. However, with increased prevalence comes increased opportunity to exploit vulnerabilities that exist within the technology. In this thesis, several attack vectors that can be used to attack SDN controllers were identified through a literature review. READ MORE

3. 2. Towards attack-tolerant trusted execution environments : Secure remote attestation in the presence of side channels

   University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)

   Author : Max Crone; [2021]
   Keywords : trusted execution environment; remote attestation; sel4; microkernel; arm trustzone; intel sgx; side-channels; transient execution attacks; trusted execution environment; remote attestation; sel4; microkernel; arm trustzone; intel sgx; side-channels; transient execution attacks;

   Abstract : In recent years, trusted execution environments (TEEs) have seen increasing deployment in computing devices to protect security-critical software from run-time attacks and provide isolation from an untrustworthy operating system (OS). A trusted party verifies the software that runs in a TEE using remote attestation procedures. READ MORE