Essays about: "microkernel"

Found 5 essays containing the word microkernel.

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

4. 3. Examining the Impact of Microarchitectural Attacks on Microkernels : a study of Meltdown and Spectre

   University essay from Linköpings universitet/Institutionen för datavetenskap

   Author : Gunnar Grimsdal; Patrik Lundgren; [2019]
   Keywords : Genode; Meltdown; Spectre; Nova; Okl4; microarchitectural attacks; microkernel;

   Abstract : Most of today's widely used operating systems are based on a monolithic design and have a very large code size which complicates verification of security-critical applications. One approach to solving this problem is to use a microkernel, i.e., a small kernel which only implements the bare necessities. READ MORE

5. 4. Design and Implementation  of an EDF Scheduer for Fiasco.OC L4

   University essay from Uppsala universitet/Institutionen för informationsteknologi

   Author : Eric Arnelöv; [2016]
   Keywords : ;

   Abstract : This paper describes the implementation of an EDF scheduler for the FIASCO microkernel. Benchmark test shows that the average case gain an improvement of 16-34%, in regards to schedule calls, running EDF over the existing fixed priority scheduler using Rate Monotonic (RM). READ MORE

6. 5. Evaluation of OKL4

   University essay from Akademin för innovation, design och teknik

   Author : Mathias Bylund; [2009]
   Keywords : ;

   Abstract : Virtualization is not a new concept in computer science. It has been used since the middle of the sixties and now software companies has interested in this technology. Virtualization is used in server side to maximize the capacity and reduce power consumption. This thesis focuses on virtualization in embedded system. READ MORE