Sökning: "microkernel"

Hittade 5 uppsatser innehållade ordet microkernel.

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

    Master-uppsats, Linköpings universitet/Programvara och system

    Författare :Olof Holmberg; [2021]
    Nyckelord :SDN; Software-Defined Networking; Microkernel; seL4;

    Sammanfattning : 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. LÄS MER

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

    Master-uppsats, KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Författare :Max Crone; [2021]
    Nyckelord :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;

    Sammanfattning : 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. LÄS MER

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

    Master-uppsats, Linköpings universitet/Institutionen för datavetenskap

    Författare :Gunnar Grimsdal; Patrik Lundgren; [2019]
    Nyckelord :Genode; Meltdown; Spectre; Nova; Okl4; microarchitectural attacks; microkernel;

    Sammanfattning : 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. LÄS MER

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

    Uppsats för yrkesexamina på avancerad nivå, Uppsala universitet/Institutionen för informationsteknologi

    Författare :Eric Arnelöv; [2016]
    Nyckelord :;

    Sammanfattning : 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). LÄS MER

  7. 5. Evaluation of OKL4

    M1-uppsats, Akademin för innovation, design och teknik

    Författare :Mathias Bylund; [2009]
    Nyckelord :;

    Sammanfattning : 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. LÄS MER