TEEVseL4: Trusted Execution Environment for Virtualized seL4-Based Systems

Keyphrases

• Virtualized 100%
• Trusted Execution Environment 100%
• SeL4 100%
• TrustZone 80%
• Critical Security 60%
• Security Services 60%
• Operating System 40%
• Linux 40%
• Microkernel 40%
• Secure World 40%
• Virtualization System 40%
• Safety-critical 20%
• Embedded Systems 20%
• Computing Power 20%
• ARM TrustZone 20%
• Attack Surface 20%
• Safety Properties 20%
• Virtualization 20%
• Security Properties 20%
• Untrusted 20%
• Execution Environment 20%
• Trusted Computing Base 20%
• Performance Benchmarking 20%
• General-Purpose Operating Systems 20%
• Hardware Efficiency 20%

Computer Science

• Execution Environments 100%
• Security Service 100%
• System Virtualization 66%
• Use Case 33%
• Benchmarking 33%
• Embedded System 33%
• Attack Surface 33%
• Virtualizations 33%
• Trusted Computing Base 33%
• Attractive Option 33%
• Purpose Operating System 33%
• Multiple Operating System 33%
• Computing Power 33%
• Computer Hardware 33%
• Operating System 33%