Verified Security for the Morello Capability-enhanced Prototype Arm Architecture

Computer Science

• Security Properties 100%
• Computer Architecture 100%
• Arm Architecture 100%
• Specifications 100%
• Models 100%
• Vulnerabilities 50%
• Compartmentalization 50%
• Good Specification 50%
• Architecture Definition 50%
• Essential Property 50%
• Evaluation 50%
• Memory Protection 50%
• Security Vulnerability 50%
• Protection 50%
• Testing 50%
• Design 50%
• System Software 50%
• Processor Architectures 50%
• Classes 50%
• Critical Infrastructure 50%
• Instruction Sequence 50%
• Hardware 50%
• Oriented Architecture 50%
• Semantics 50%
• Complexity 50%
• Conventional Architecture 50%