Verifying security properties in modern SOCs using instruction-level abstractions

Computer Science

• System-on-Chip 100%
• Security Properties 100%
• Hardware Implementation 33%
• Hardware Accelerator 16%
• Open Source 16%
• General Purpose Processor 16%
• Case Study 16%
• Register-Transfer-Level Implementation 16%
• Computer Architecture 16%
• Underlying Hardware 16%
• Level Analysis 16%
• Symbolic Execution 16%
• security level 16%
• Security Requirements 16%
• Source Component 16%
• Specification Language 16%

Keyphrases

• Third-party Vendors 12%
• Third-party IP 12%