Sökning: "Gustavo Betarte"
Hittade 1 avhandling innehållade orden Gustavo Betarte.
1. Secure System Virtualization : End-to-End Verification of Memory Isolation
Sammanfattning : 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. LÄS MER
Resultatsidor:
1