No Hypervisor Is an Island : System-wide Isolation Guarantees for Low Level Code
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. At the same time, our devices – for instance mobile phones and TVs – have becom...
Main Author: | Schwarz, Oliver |
---|---|
Format: | Doctoral Thesis |
Language: | English |
Published: |
KTH, Teoretisk datalogi, TCS
2016
|
Subjects: | |
Online Access: | http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-192466 http://nbn-resolving.de/urn:isbn:978-91-7729-104-6 |
Similar Items
-
Secure System Virtualization : End-to-End Verification of Memory Isolation
by: Nemati, Hamed
Published: (2017) -
Study of Isabelle/HOL on Formal Algorithm Analysis and Code Generation
by: Haitao Wang, et al.
Published: (2021-01-01) -
Formal verification of Matrix based MATLAB models using interactive theorem proving
by: Ayesha Gauhar, et al.
Published: (2021-03-01) -
Model-based Testing of Operating System-Level Security Mechanisms
by: Nemouchi, Yakoub
Published: (2016) -
Modeling and verification of finite field multiplier using formal method
by: Zhang Jie, et al.
Published: (2018-01-01)