Search for dissertations about: "Gustavo Betarte"
Found 1 swedish dissertation containing the words Gustavo Betarte.
-
1. Secure System Virtualization : End-to-End Verification of Memory Isolation
Abstract : Over the last years, security-kernels have played a promising role in reshaping the landscape of platform security on embedded devices. Security-kernels, such as separation kernels, enable constructing high-assurance mixed-criticality execution platforms on a small TCB, which enforces isolation between components. READ MORE
Result pages:
1