Advanced search

Found 1 swedish dissertation matching the above criteria.

2. 1. No Hypervisor Is an Island : System-wide Isolation Guarantees for Low Level Code

   Author : Oliver Schwarz; Mads Dam; Christian Gehrmann; Gerwin Klein; KTH; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; Platform Security; Hypervisor; Formal Verification; Theorem Proving; HOL4; DMA; Peripheral Devices; Instruction Set Architectures; ISA; Information Flow; Boot; Computer Science; Datalogi;

   Abstract : The times when malware was mostly written by curious teenagers are long gone. Nowadays, threats come from criminals, competitors, and government agencies. Some of them are very skilled and very targeted in their attacks. READ MORE